]>
2010-03-17 | Andrea Asperti | Aggiornamento alla negazione. | blob | commitdiff | raw |
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 |