Commit 8420e950 authored by Francois Bobot's avatar Francois Bobot

Int is a total order is builtin

parent 12726218
......@@ -57,7 +57,10 @@ theory int.Int
remove prop Mul_distr
remove prop Comm.Comm
remove prop Unitary
remove prop Refl
remove prop Trans
remove prop Antisymm
remove prop Total
end
theory int.Abs
......
......@@ -53,10 +53,12 @@ theory int.Int
remove prop Mul_distr
remove prop Comm.Comm
remove prop Unitary
remove prop Refl
remove prop Trans
remove prop Antisymm
remove prop Total
end
theory transform.encoding_decorate.Kept
tag cloned type t "encoding_decorate : kept"
end
......
......@@ -56,6 +56,10 @@ theory int.Int
remove prop Mul_distr
remove prop Comm.Comm
remove prop Unitary
remove prop Refl
remove prop Trans
remove prop Antisymm
remove prop Total
end
......
Markdown is supported
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