2007-07-28 wenzelm [Sat, 28 Jul 2007 20:40:27 +0200] rev 24022
tuned;
src/Provers/induct_method.ML src/Pure/Isar/attrib.ML src/Pure/Isar/method.ML src/Pure/Isar/outer_lex.ML src/Pure/Tools/xml.ML src/Pure/codegen.ML

2007-07-28 wenzelm [Sat, 28 Jul 2007 20:40:26 +0200] rev 24021
added get_cs/map_cs;
src/Provers/classical.ML

2007-07-28 wenzelm [Sat, 28 Jul 2007 20:40:24 +0200] rev 24020
tuned signature;
src/HOL/Tools/Groebner_Basis/normalizer_data.ML src/HOL/Tools/Qelim/ferrante_rackoff_data.ML src/Pure/Isar/isar_cmd.ML src/Pure/Isar/local_theory.ML src/Pure/Isar/locale.ML

2007-07-28 wenzelm [Sat, 28 Jul 2007 20:40:22 +0200] rev 24019
tuned ML/simproc declarations;
src/HOL/Bali/AxSem.thy src/HOL/Bali/AxSound.thy src/HOL/Bali/Basis.thy src/HOL/Bali/DefiniteAssignment.thy src/HOL/Bali/DefiniteAssignmentCorrect.thy src/HOL/Bali/Eval.thy src/HOL/Bali/Evaln.thy src/HOL/Bali/Example.thy src/HOL/Bali/Term.thy src/HOL/Bali/TypeSafe.thy src/HOL/Bali/WellForm.thy src/HOL/Bali/WellType.thy

2007-07-28 wenzelm [Sat, 28 Jul 2007 20:40:20 +0200] rev 24018
removed redundant simproc declarations;
src/HOL/Bali/AxCompl.thy

2007-07-28 wenzelm [Sat, 28 Jul 2007 20:40:19 +0200] rev 24017
simproc_setup fun_upd2;
src/HOL/Fun.thy

2007-07-28 wenzelm [Sat, 28 Jul 2007 20:40:18 +0200] rev 24016
added [[decl]] notation;
doc-src/IsarRef/syntax.tex

2007-07-28 wenzelm [Sat, 28 Jul 2007 20:40:17 +0200] rev 24015
added command 'simproc_setup', attribute "simproc";
doc-src/IsarRef/generic.tex

2007-07-27 wenzelm [Fri, 27 Jul 2007 22:19:49 +0200] rev 24014
attribs: not cut (!!!);
src/Pure/Isar/spec_parse.ML

2007-07-27 wenzelm [Fri, 27 Jul 2007 21:55:23 +0200] rev 24013
xthm: added [[declaration]] syntax (abbreviates dummy_thm [att]);
src/Pure/Isar/spec_parse.ML