| Tue, 05 Jan 2010 14:09:04 +0100 | Christian Urban | added a new version of equiv_relation (is not yet used anywhere except in AbsRepTest) | file | diff | annotate |
| Fri, 11 Dec 2009 17:59:29 +0100 | Cezary Kaliszyk | More name and indentation cleaning. | file | diff | annotate |
| Thu, 10 Dec 2009 18:28:30 +0100 | Christian Urban | added Larry's theory; introduced lemma equivpI; added something to the TODO about error messages | file | diff | annotate |
| Thu, 10 Dec 2009 12:25:12 +0100 | Cezary Kaliszyk | Regularized the hard lemma. | file | diff | annotate |
| Thu, 10 Dec 2009 11:19:34 +0100 | Cezary Kaliszyk | Simplification of Babses for regularize; will probably become injection | file | diff | annotate |
| Wed, 09 Dec 2009 22:43:11 +0100 | Cezary Kaliszyk | Finished one proof in IntEx2. | file | diff | annotate |