]>
2004-06-18 | Matteo Selmi | Corrections to "auto" tactic | blob | commitdiff | raw |
2004-05-13 | Ferruccio Guidi | - some code patched | blob | commitdiff | raw | diff to current |
2004-05-10 | Andrea Asperti | Adding file match_concl | blob | commitdiff | raw | diff to current |