isabelle: Changelog

wenzelm [Sat, 28 Jun 2008 22:52:07 +0200] rev 27389

Isar theorem values within ML.

wenzelm [Sat, 28 Jun 2008 22:52:03 +0200] rev 27388

added ML/ml_thms.ML;

wenzelm [Sat, 28 Jun 2008 22:52:01 +0200] rev 27387

updated generated file;

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;

isabelle