]>
2010-03-23 | Andrea Asperti | Readded eqf_2. | tree | commitdiff |
2010-03-23 | Andrea Asperti | symmetric_eq -> sym_eq | tree | commitdiff |
2010-03-23 | Andrea Asperti | Commented a few lemmas (copies). | tree | commitdiff |
2010-03-18 | Andrea Asperti | Porting alla nuova def. di negazione | tree | commitdiff |
2010-03-18 | Andrea Asperti | Porting the new definition of equality. | tree | commitdiff |
2010-03-17 | Andrea Asperti | Aggiornamento alla negazione. | tree | commitdiff |
2010-03-17 | Andrea Asperti | Nuova definizione della negazione. | tree | commitdiff |
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 |