]>
2004-10-22 | Stefano Zacchiroli | - reimplemented tacticChaser and friends in term of... | commit | commitdiff |
2004-06-18 | Matteo Selmi | Corrections to "auto" tactic | commit | commitdiff |
2004-05-13 | Ferruccio Guidi | - some code patched | commit | commitdiff |
2004-05-10 | Andrea Asperti | Adding file match_concl | commit | commitdiff |