]>
2008-03-04 | Ferruccio Guidi | components/library: dotdothack removed | blob | commitdiff | raw |
2008-02-20 | Ferruccio Guidi | LambdaDelta-1 regenerated as a subdevel ov LAMBDA-TYPES | blob | commitdiff | raw | diff to current |
2008-02-13 | Ferruccio Guidi | baseuris removed from files | blob | commitdiff | raw | diff to current |
2008-02-12 | Ferruccio Guidi | regeneration with new results | blob | commitdiff | raw | diff to current |
2008-01-10 | Enrico Tassi | BIG FAT WARNING: DEVELOPMENTS DIE HERE | blob | commitdiff | raw | diff to current |
2007-10-13 | Ferruccio Guidi | - some new auxiliary lemmas | blob | commitdiff | raw | diff to current |
2007-09-05 | Ferruccio Guidi | - matitaInit matitaprover matitadep matitamake: | blob | commitdiff | raw | diff to current |
2007-02-07 | Ferruccio Guidi | refactoring | blob | commitdiff | raw | diff to current |