]>
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 |
2006-01-11 | marangon | Code clean up. |
commit | commitdiff | tree |
2005-12-15 | marangon | New tactic: inversion. |
commit | commitdiff | tree |
2005-12-15 | marangon | New tactic: inversion. |
commit | commitdiff | tree |
2005-12-15 | marangon | ... |
commit | commitdiff | tree |
2005-12-15 | marangon | added -I ../.. (for coq.ma) |
commit | commitdiff | tree |