]>
2011-01-21 | Wilmer Ricciotti | Removed inclusion of logic/equality.ma in datatypes... | tree | commitdiff |
2010-12-22 | Wilmer Ricciotti | more theory for lists | tree | commitdiff |
2010-12-22 | Wilmer Ricciotti | ... | tree | commitdiff |
2010-10-17 | Enrico Tassi | fixed many scripts that broke for various reasons | tree | commitdiff |
2010-09-28 | Enrico Tassi | hints polished and fixed to allow recursive inference... | tree | commitdiff |
2010-09-25 | Enrico Tassi | some reorganization + some more re-setoids.ma proofs | tree | commitdiff |
2010-03-24 | Claudio Sacerdoti... | "Not" is no longer a definition | tree | commitdiff |
2010-03-02 | Wilmer Ricciotti | Some integrations to the ng library. | tree | commitdiff |
2009-08-21 | Claudio Sacerdoti... | Towards a simplified proof. | tree | commitdiff |
2009-08-14 | Claudio Sacerdoti... | ... | tree | commitdiff |