| Wed, 09 Dec 2009 15:57:47 +0100 | Cezary Kaliszyk | Different syntax for definitions that allows overloading and retrieving of definitions by matching whole constants. | file | diff | annotate |
| Thu, 29 Oct 2009 08:06:49 +0100 | Cezary Kaliszyk | Fixed wrong CARD definition and removed the "Does not work anymore" comment. | file | diff | annotate |
| Wed, 28 Oct 2009 16:05:59 +0100 | Cezary Kaliszyk | Fixes | file | diff | annotate |
| 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 |