| 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 |