]>
2008-06-08 | Claudio Sacerdoti... | Generalize no more required for elim. | blob | commitdiff | raw |
2008-05-18 | Claudio Sacerdoti... | Dummy dependent types are no longer cleaned in inductiv... | blob | commitdiff | raw | diff to current |
2008-03-26 | Wilmer Ricciotti | Reorganization of list library (step 1) | blob | commitdiff | raw | diff to current |
2007-04-10 | Enrico Tassi | set -> type | blob | commitdiff | raw | diff to current |
2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | blob | commitdiff | raw | diff to current |