]>
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 |