| Wed, 23 Nov 1994 15:09:44 +0100 | wenzelm | moved parser stuff to thy_syntax.ML; | file | diff | annotate |
| Tue, 27 Sep 1994 13:23:04 +0100 | nipkow | Small simplification in add_datatype. | file | diff | annotate |
| Mon, 26 Sep 1994 18:04:43 +0100 | nipkow | replaced local instantaite_types by inferT_axm | file | diff | annotate |
| Thu, 15 Sep 1994 18:42:12 +0200 | nipkow | improved error reporting for primrec | file | diff | annotate |
| Wed, 14 Sep 1994 16:05:28 +0200 | wenzelm | replaced lookup_const by Sign.const_type; | file | diff | annotate |
| Sun, 11 Sep 1994 10:31:17 +0200 | nipkow | Allowed string as function name in primrec header | file | diff | annotate |
| Tue, 30 Aug 1994 10:04:49 +0200 | nipkow | New version of datatype.ML with primrec (Norbert). | file | diff | annotate |