Commit 816566fb authored by MARCHE Claude's avatar MARCHE Claude
Browse files


parent 62c09ae6
......@@ -18,6 +18,13 @@ library
* fixed Coq printer (former Coq proofs may have to be updated, by removing
non-emptiness constraints from polymorphic type applications)
o support for Coq8.4pl4
o support for Isabelle2014
o support for CVC4 1.4
o new transformation "compute_in_goal" that simplifies the goal, by
computation, as much as possible
version 0.83, March 14, 2014
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