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