]>
2004-05-18 | Claudio Sacerdoti... | * tactics/Makefile fixed (to remove duplicate .mli... | blob | commitdiff | raw |
2004-05-17 | Stefano Zacchiroli | first check in of statefulProofEngine | blob | commitdiff | raw | diff to current |
2004-05-10 | Andrea Asperti | Adding file match_concl | blob | commitdiff | raw | diff to current |
2004-04-23 | Enrico Tassi | Universes introduction | blob | commitdiff | raw | diff to current |
2004-03-12 | acerioni | First implementation of the Auto tactic. | blob | commitdiff | raw | diff to current |
2004-02-12 | Ferruccio Guidi | new .depend files | blob | commitdiff | raw | diff to current |
2003-06-19 | Claudio Sacerdoti... | Merge of the V7_3_new_exportation branch. | blob | commitdiff | raw | diff to current |