]>
2010-03-23 | Andrea Asperti | symmetric_eq -> sym_eq | commit | commitdiff |
2010-03-23 | Andrea Asperti | Commented a few lemmas (copies). | commit | commitdiff |
2010-03-17 | Andrea Asperti | Aggiornamento alla negazione. | commit | commitdiff |
2010-02-19 | Andrea Asperti | New proofs. | commit | commitdiff |
2010-02-16 | Andrea Asperti | More theorems | commit | commitdiff |
2010-02-02 | Andrea Asperti | lists | commit | commitdiff |