isabelle: Changelog

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;

haftmann [Fri, 27 Jun 2008 09:55:02 +0200] rev 27376

adjusted import

haftmann [Fri, 27 Jun 2008 09:34:08 +0200] rev 27375

adjusted import

urbanc [Fri, 27 Jun 2008 00:37:30 +0200] rev 27374

added a lemma to at_swap_simps

huffman [Thu, 26 Jun 2008 17:54:05 +0200] rev 27373

remove cset theory; define ideal completions using typedef instead of cpodef

isabelle