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