projects / helm.git / history
| 2005-02-02 | Stefano Zacchiroli | added inductive_name field to inductive definitions... | blob | commitdiff | raw |
| 2004-01-22 | Andrea Asperti | A few modifications, here and there... | blob | commitdiff | raw | diff to current |
| 2003-09-05 | Claudio Sacerdoti... | string ==> id | blob | commitdiff | raw | diff to current |
| 2003-07-30 | Claudio Sacerdoti... | Unuseful id removed from hypothesis. | blob | commitdiff | raw | diff to current |
| 2003-07-23 | Andrea Asperti | - Lemma added to the list of proof arguments | blob | commitdiff | raw | diff to current |
| 2003-07-21 | Andrea Asperti | The Aux argument of conclude is now of type string... | blob | commitdiff | raw | diff to current |
| 2003-07-21 | Andrea Asperti | ** UNTESTED ** | blob | commitdiff | raw | diff to current |
| 2003-07-20 | Claudio Sacerdoti... | cic_transformations factorized into cic_omdoc and cic_t... | blob | commitdiff | raw | diff to current |