]>
2010-10-17 | Enrico Tassi | fixed many scripts that broke for various reasons | commit | commitdiff |
2010-03-31 | Claudio Sacerdoti... | Not is now inductive. | commit | commitdiff |
2010-02-03 | Claudio Sacerdoti... | End of curryfication of binary_morphisms. | commit | commitdiff |
2010-02-03 | Claudio Sacerdoti... | Curryfication of binary setoids. | commit | commitdiff |
2010-01-18 | Claudio Sacerdoti... | // in place of nauto everywhere | commit | commitdiff |
2009-10-21 | Enrico Tassi | ... | commit | commitdiff |
2009-10-21 | Enrico Tassi | auto is smarter :-) | commit | commitdiff |
2009-10-21 | Enrico Tassi | nauto: | commit | commitdiff |
2009-10-21 | Enrico Tassi | fixed pictures | commit | commitdiff |
2009-10-17 | Enrico Tassi | some more work | commit | commitdiff |
2009-10-16 | Enrico Tassi | ... | commit | commitdiff |
2009-10-14 | Enrico Tassi | cantor... | commit | commitdiff |