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