Fri, 15 Jul 1994 13:30:42 +0200 | clasohm | added check for concistency of filename and theory name; | file | diff | annotate |
Wed, 06 Jul 1994 14:39:32 +0200 | wenzelm | exported opt_infix, opt_mixfix parsers; | file | diff | annotate |
Thu, 16 Jun 1994 12:07:40 +0200 | wenzelm | added 'subclass' section; | file | diff | annotate |
Wed, 01 Jun 1994 15:49:46 +0200 | wenzelm | added signature constraint; | file | diff | annotate |
Thu, 19 May 1994 16:26:19 +0200 | wenzelm | (replaces Thy/parse.ML and Thy/syntax.ML) | file | diff | annotate |