]>
2011-01-21 | Wilmer Ricciotti | Removed inclusion of logic/equality.ma in datatypes... | blob | commitdiff | raw |
2010-12-22 | Wilmer Ricciotti | more theory for lists | blob | commitdiff | raw | diff to current |
2010-12-22 | Wilmer Ricciotti | ... | blob | commitdiff | raw | diff to current |
2010-09-25 | Enrico Tassi | some reorganization + some more re-setoids.ma proofs | blob | commitdiff | raw | diff to current |
2010-03-24 | Claudio Sacerdoti... | "Not" is no longer a definition | blob | commitdiff | raw | diff to current |
2010-03-02 | Wilmer Ricciotti | Some integrations to the ng library. | blob | commitdiff | raw | diff to current |