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