]>
2010-09-23 | Enrico Tassi | interpretation for <-> | tree | commitdiff |
2010-05-12 | Wilmer Ricciotti | Library support files for John Major equality and Russell. | tree | commitdiff |
2010-03-16 | Claudio Sacerdoti... | ... | tree | commitdiff |
2010-03-12 | Andrea Asperti | New definition of negation | tree | commitdiff |
2010-02-19 | Andrea Asperti | Wilmer's stuff for destruct. | tree | commitdiff |
2010-01-08 | Andrea Asperti | rebuilding the library | tree | commitdiff |
2009-12-15 | Andrea Asperti | eq_coerc for smart application. | tree | commitdiff |
2009-12-02 | Andrea Asperti | Propositional equality | tree | commitdiff |