wenzelm [Sat, 28 Jun 2008 21:21:21 +0200] rev 27386
allow overlap of minor keywords and commands;
wenzelm [Sat, 28 Jun 2008 21:21:20 +0200] rev 27385
include HOL-Plain;
wenzelm [Sat, 28 Jun 2008 21:21:18 +0200] rev 27384
tuned args parser (cf. args.ML);
tuned signature;
wenzelm [Sat, 28 Jun 2008 21:21:17 +0200] rev 27383
replaced simple_text by fully-featured parse_args;
wenzelm [Sat, 28 Jun 2008 21:21:15 +0200] rev 27382
tuned nested args parser;
export generic_args1;
wenzelm [Sat, 28 Jun 2008 21:21:13 +0200] rev 27381
@{lemma}: 'by' keyword;
wenzelm [Sat, 28 Jun 2008 15:30:46 +0200] rev 27380
ML: improved antiquotations;
wenzelm [Sat, 28 Jun 2008 15:17:28 +0200] rev 27379
added macro interface;
added @{let}, @{note};
wenzelm [Sat, 28 Jun 2008 15:17:26 +0200] rev 27378
tuned;
wenzelm [Sat, 28 Jun 2008 15:17:24 +0200] rev 27377
added thm_name, opt_thm_name;