Mon, 22 Aug 1994 11:07:40 +0200 | lcp | Pure/Thy/thy_parse/THY_PARSE: deleted duplicate specifications of parens, | file | diff | annotate |
Fri, 19 Aug 1994 15:38:50 +0200 | wenzelm | renamed 'defns' to 'defs'; | file | diff | annotate |
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 |