Commit 25378692 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Use native Z3 syntax for Bool.implb.

parent 9a487aa8
......@@ -123,6 +123,7 @@ theory bool.Bool
syntax function orb "(or %1 %2)"
syntax function xorb "(xor %1 %2)"
syntax function notb "(not %1)"
syntax function implb "(=> %1 %2)"
end
theory int.EuclideanDivision
......
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