src/Pure/Isar/outer_parse.ML
1999-03-17 wenzelm 1999-03-17 fixed thm_name again;
1999-03-17 wenzelm 1999-03-17 added simple_arity, spec_name, spec_opt_name; tuned thm_name; xthms1: no 'and' separators;
1999-03-11 wenzelm 1999-03-11 tuned opt_mixfix failure;
1998-12-03 wenzelm 1998-12-03 and_list;
1998-12-01 wenzelm 1998-12-01 enum: !!! after seperator;
1998-11-25 wenzelm 1998-11-25 comment parser;
1998-11-19 wenzelm 1998-11-19 fixed method syntax;
1998-11-17 wenzelm 1998-11-17 generalized (opt_)thm_name; xthm, xthms1;
1998-11-16 wenzelm 1998-11-16 removed args, args1, thm_xname; fixed nat: Symbol.explode; name / xname: include sym_ident; keyword_symid: include ident; tuned atom_arg; support nested args;
1998-11-09 wenzelm 1998-11-09 Generic parsers for Isabelle/Isar outer syntax.