]>
2010-03-23 | Andrea Asperti | Readded eqf_2. | blob | commitdiff | raw |
2010-03-23 | Andrea Asperti | Commented a few lemmas (copies). | blob | commitdiff | raw | diff to current |
2010-03-17 | Andrea Asperti | Nuova definizione della negazione. | blob | commitdiff | raw | diff to current |
2010-01-18 | Claudio Sacerdoti... | // in place of nauto everywhere | blob | commitdiff | raw | diff to current |
2010-01-08 | Andrea Asperti | rebuilding the library | blob | commitdiff | raw | diff to current |