Tue, 01 Dec 1998 14:47:52 +0100 | wenzelm | enum: !!! after seperator; | file | diff | annotate |
Wed, 25 Nov 1998 14:01:08 +0100 | wenzelm | comment parser; | file | diff | annotate |
Thu, 19 Nov 1998 11:49:57 +0100 | wenzelm | fixed method syntax; | file | diff | annotate |
Tue, 17 Nov 1998 14:24:15 +0100 | wenzelm | generalized (opt_)thm_name; | file | diff | annotate |
Mon, 16 Nov 1998 11:00:58 +0100 | wenzelm | removed args, args1, thm_xname; | file | diff | annotate |
Mon, 09 Nov 1998 15:33:12 +0100 | wenzelm | Generic parsers for Isabelle/Isar outer syntax. | file | diff | annotate |