Commit 2390b51a authored by Francois Bobot's avatar Francois Bobot
Browse files

comparison.why : abs, min, max generique

parent 1e107236
......@@ -22,7 +22,7 @@ theory MinMax
type t
logic ge(t,t)
logic min(tty,t) : t
logic min(t,t) : t
logic max(t,t) : t
axiom Max_is_ge : forall x,y:t. ge(max(x,y),x) and ge(max(x,y),y)
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment