]>
2010-02-19 | Andrea Asperti | New proofs. | tree | commitdiff |
2010-02-16 | Andrea Asperti | More theorems | tree | commitdiff |
2010-02-02 | Andrea Asperti | lists | tree | commitdiff |
2010-02-02 | Andrea Asperti | Booleans | tree | commitdiff |
2010-01-18 | Claudio Sacerdoti... | // in place of nauto everywhere | tree | commitdiff |
2010-01-08 | Andrea Asperti | rebuilding the library | tree | commitdiff |