2005-09-06 webertj [Tue, 06 Sep 2005 16:29:39 +0200] rev 17273
unnecessary parentheses removed
src/HOL/Tools/refute_isar.ML

2005-09-06 wenzelm [Tue, 06 Sep 2005 16:24:53 +0200] rev 17272
converted to Isar theory format;
src/HOL/Modelcheck/CTL.thy src/HOL/Modelcheck/EindhovenExample.ML src/HOL/Modelcheck/EindhovenExample.thy src/HOL/Modelcheck/EindhovenSyn.ML src/HOL/Modelcheck/EindhovenSyn.thy src/HOL/Modelcheck/MuCalculus.ML src/HOL/Modelcheck/MuCalculus.thy src/HOL/Modelcheck/MuckeExample1.ML src/HOL/Modelcheck/MuckeExample1.thy src/HOL/Modelcheck/MuckeExample2.ML src/HOL/Modelcheck/MuckeExample2.thy src/HOL/Modelcheck/MuckeSyn.ML src/HOL/Modelcheck/MuckeSyn.thy src/HOL/Modelcheck/ROOT.ML src/HOL/Modelcheck/mucke_oracle.ML

2005-09-06 haftmann [Tue, 06 Sep 2005 08:30:43 +0200] rev 17271
introduced some new-style AList operations
src/Provers/blast.ML src/Pure/Isar/locale.ML src/Pure/Proof/extraction.ML src/Pure/tactic.ML src/Pure/term.ML src/Pure/type_infer.ML

2005-09-06 haftmann [Tue, 06 Sep 2005 08:29:17 +0200] rev 17270
eliminated 1 call to polyEq
src/Pure/Isar/outer_keyword.ML

2005-09-05 wenzelm [Mon, 05 Sep 2005 17:49:28 +0200] rev 17269
tuned;
NEWS

2005-09-05 wenzelm [Mon, 05 Sep 2005 17:38:25 +0200] rev 17268
updated;
src/HOL/Import/HOL/bool.imp src/HOL/Import/HOL/pair.imp

2005-09-05 wenzelm [Mon, 05 Sep 2005 17:38:25 +0200] rev 17267
obsolete;
src/HOL/Hyperreal/Fact.ML

2005-09-05 wenzelm [Mon, 05 Sep 2005 17:38:24 +0200] rev 17266
added assert, command;
src/Pure/Isar/toplevel.ML

2005-09-05 wenzelm [Mon, 05 Sep 2005 17:38:23 +0200] rev 17265
tuned check_text;
src/Pure/Isar/outer_syntax.ML

2005-09-05 wenzelm [Mon, 05 Sep 2005 17:38:22 +0200] rev 17264
chapter/section/subsection/subsubsection/text: optional locale specification;
src/Pure/Isar/isar_syn.ML