| Fri, 04 Dec 2009 09:01:13 +0100 | Cezary Kaliszyk | First version of the deterministic rep-abs-inj-tac. | file | diff | annotate |
| Thu, 03 Dec 2009 15:03:31 +0100 | Christian Urban | removed quot argument...not all examples work anymore | file | diff | annotate |
| Thu, 03 Dec 2009 13:59:53 +0100 | Christian Urban | first version of internalised quotient theorems; added FIXME-TODO | file | diff | annotate |