]>
2009-06-19 | Wilmer Ricciotti | More improvements. | blob | commitdiff | raw |
2009-06-03 | Wilmer Ricciotti | Update, using induction/inversion. | blob | commitdiff | raw | diff to current |
2009-04-28 | Enrico Tassi | huge commit in automation: | blob | commitdiff | raw | diff to current |
2008-05-18 | Claudio Sacerdoti... | Dummy dependent types are no longer cleaned in inductiv... | blob | commitdiff | raw | diff to current |
2008-04-21 | Claudio Sacerdoti... | defn2.ma is to be used with part1a_inversion3 | blob | commitdiff | raw | diff to current |
2008-04-18 | Claudio Sacerdoti... | Dead code removed. | blob | commitdiff | raw | diff to current |
2008-03-26 | Wilmer Ricciotti | Reorganization of list library (step 1) | blob | commitdiff | raw | diff to current |
2008-03-23 | Enrico Tassi | Fsub moved in contribs | blob | commitdiff | raw | diff to current |