]>
2011-12-20 | Ferruccio Guidi | - the definition of the framework for strong normalizat... | blob | commitdiff | raw |
2011-12-12 | Claudio Sacerdoti... | Some integrations from CerCo. In particular: | blob | commitdiff | raw | diff to current |
2011-12-12 | Ferruccio Guidi | nat library reorganized .... | blob | commitdiff | raw | diff to current |
2011-12-06 | Ferruccio Guidi | we added a definition and a couple of lemmas | blob | commitdiff | raw | diff to current |
2011-10-28 | Andrea Asperti | Some qed- | blob | commitdiff | raw | diff to current |
2010-12-23 | Andrea Asperti | progress | blob | commitdiff | raw | diff to current |
2010-12-16 | Andrea Asperti | New version of the library. Several files still do... | blob | commitdiff | raw | diff to current |
2010-12-06 | Andrea Asperti | some progress | blob | commitdiff | raw | diff to current |
2010-11-22 | Andrea Asperti | Some arithmetics. | blob | commitdiff | raw | diff to current |