| Wed, 29 Jan 2003 17:32:01 +0100 | berghofe | Fixed bug in function corr. | file | diff | annotate |
| Wed, 27 Nov 2002 17:23:19 +0100 | berghofe | Correctness proofs are now modular, too. | file | diff | annotate |
| Sun, 17 Nov 2002 23:43:53 +0100 | berghofe | Fixed small bug that caused some definitions to be "forgotten". | file | diff | annotate |
| Wed, 13 Nov 2002 15:36:06 +0100 | berghofe | - exported functions etype_of and mk_typ | file | diff | annotate |
| Mon, 30 Sep 2002 16:42:46 +0200 | berghofe | Added check for axioms with "realizes Null A = A". | file | diff | annotate |
| Wed, 24 Jul 2002 16:16:44 +0200 | berghofe | Tuned type constraint of function merge_rules to make smlnj happy. | file | diff | annotate |
| Sun, 21 Jul 2002 15:37:04 +0200 | berghofe | Added program extraction module. | file | diff | annotate |