| Tue, 27 Oct 2009 11:27:53 +0100 | Christian Urban | made quotients compatiple with Nominal; updated keyword file | file | diff | annotate |
| Mon, 26 Oct 2009 02:06:01 +0100 | Christian Urban | updated with quotient_def | file | diff | annotate |
| Sun, 25 Oct 2009 01:31:04 +0200 | Christian Urban | added "print_quotients" command to th ekeyword file | file | diff | annotate |
| Mon, 12 Oct 2009 22:44:16 +0200 | Christian Urban | added new keyword | file | diff | annotate |
| Tue, 25 Aug 2009 00:30:23 +0200 | Christian Urban | added the prove command | file | diff | annotate |