2008-06-28 wenzelm [Sat, 28 Jun 2008 21:21:13 +0200] rev 27381
@{lemma}: 'by' keyword;
NEWS src/HOL/List.thy src/Pure/Thy/thy_output.ML

2008-06-28 wenzelm [Sat, 28 Jun 2008 15:30:46 +0200] rev 27380
ML: improved antiquotations;
NEWS

2008-06-28 wenzelm [Sat, 28 Jun 2008 15:17:28 +0200] rev 27379
added macro interface;
added @{let}, @{note};
src/Pure/ML/ml_antiquote.ML

2008-06-28 wenzelm [Sat, 28 Jun 2008 15:17:26 +0200] rev 27378
tuned;
src/Pure/Isar/isar_syn.ML src/Pure/Isar/rule_insts.ML src/Pure/Isar/spec_parse.ML src/Pure/ML/ml_context.ML

2008-06-28 wenzelm [Sat, 28 Jun 2008 15:17:24 +0200] rev 27377
added thm_name, opt_thm_name;
src/Pure/Isar/args.ML

2008-06-27 haftmann [Fri, 27 Jun 2008 09:55:02 +0200] rev 27376
adjusted import
doc-src/TutorialI/Types/Numbers.thy doc-src/TutorialI/Types/document/Numbers.tex

2008-06-27 haftmann [Fri, 27 Jun 2008 09:34:08 +0200] rev 27375
adjusted import
doc-src/Locales/Locales/Examples.thy doc-src/Locales/Locales/document/Examples.tex

2008-06-27 urbanc [Fri, 27 Jun 2008 00:37:30 +0200] rev 27374
added a lemma to at_swap_simps
src/HOL/Nominal/Nominal.thy

2008-06-26 huffman [Thu, 26 Jun 2008 17:54:05 +0200] rev 27373
remove cset theory; define ideal completions using typedef instead of cpodef
src/HOLCF/CompactBasis.thy src/HOLCF/ConvexPD.thy src/HOLCF/LowerPD.thy src/HOLCF/UpperPD.thy

2008-06-26 wenzelm [Thu, 26 Jun 2008 15:06:30 +0200] rev 27372
Args.theory;
src/Tools/code/code_target.ML