]>
2006-07-27 | maiorino | Notation for the existential quantifier moved to core_notati... |
commit | commitdiff | tree |
2006-07-27 | maiorino | New declarative commands (ast, pretty-printing and... |
commit | commitdiff | tree |
2006-07-11 | maiorino | First experimental version of the declarative proof... |
commit | commitdiff | tree |
2006-03-10 | marangon | Added inversion principle creation for inductive predicates. |
commit | commitdiff | tree |
2006-03-10 | marangon | Inversion code cleaning. |
commit | commitdiff | tree |
2006-03-03 | marangon | PP of Refine.RefineFailure. |
commit | commitdiff | tree |