| 2010-01-08 | Cezary Kaliszyk | Modifictaions for new_relation. | file | diff | annotate |
| 2010-01-08 | Cezary Kaliszyk | Proved concat_empty. | file | diff | annotate |
| 2010-01-05 | Christian Urban | added a new version of equiv_relation (is not yet used anywhere except in AbsRepTest) | file | diff | annotate |
| 2009-12-11 | Cezary Kaliszyk | More name and indentation cleaning. | file | diff | annotate |
| 2009-12-10 | Christian Urban | added Larry's theory; introduced lemma equivpI; added something to the TODO about error messages | file | diff | annotate |
| 2009-12-10 | Cezary Kaliszyk | Regularized the hard lemma. | file | diff | annotate |
| 2009-12-10 | Cezary Kaliszyk | Simplification of Babses for regularize; will probably become injection | file | diff | annotate |