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 |