]>
2011-12-06 | Ferruccio Guidi | we added a definition and a couple of lemmas | blob | commitdiff | raw |
2011-12-06 | Andrea Asperti | naive sets (A-> Prop) | blob | commitdiff | raw | diff to current |
2011-10-28 | Andrea Asperti | some qed- | 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 |