1999-10-08 wenzelm [Fri, 08 Oct 1999 17:06:48 +0200] rev 7810
old_header: proper error message;
src/Pure/Isar/outer_syntax.ML

1999-10-08 wenzelm [Fri, 08 Oct 1999 16:47:44 +0200] rev 7809
tuned presentation;
src/HOL/Isar_examples/W_correct.thy

1999-10-08 wenzelm [Fri, 08 Oct 1999 16:40:27 +0200] rev 7808
update from Gertrud;
src/HOL/Real/HahnBanach/Aux.thy src/HOL/Real/HahnBanach/Bounds.thy src/HOL/Real/HahnBanach/FunctionNorm.thy src/HOL/Real/HahnBanach/FunctionOrder.thy src/HOL/Real/HahnBanach/HahnBanach.thy src/HOL/Real/HahnBanach/HahnBanach_h0_lemmas.thy src/HOL/Real/HahnBanach/HahnBanach_lemmas.thy src/HOL/Real/HahnBanach/LinearSpace.thy src/HOL/Real/HahnBanach/Linearform.thy src/HOL/Real/HahnBanach/NormedSpace.thy src/HOL/Real/HahnBanach/ROOT.ML src/HOL/Real/HahnBanach/Subspace.thy src/HOL/Real/HahnBanach/Zorn_Lemma.thy src/HOL/Real/HahnBanach/document/notation.tex src/HOL/Real/HahnBanach/document/root.tex

1999-10-08 wenzelm [Fri, 08 Oct 1999 16:18:51 +0200] rev 7807
tuned;
lib/logo/index.html

1999-10-08 wenzelm [Fri, 08 Oct 1999 16:17:59 +0200] rev 7806
url;
src/HOL/Isar_examples/document/root.tex

1999-10-08 wenzelm [Fri, 08 Oct 1999 16:16:51 +0200] rev 7805
theorem database now also indexes constants "Trueprop", "all",
"==>", "=="; thus thms_containing, findI etc. may retrieve more rules;
NEWS doc-src/Ref/goals.tex src/Pure/pure_thy.ML

1999-10-08 wenzelm [Fri, 08 Oct 1999 16:05:06 +0200] rev 7804
improved;
src/HOL/Isar_examples/README.html

1999-10-08 wenzelm [Fri, 08 Oct 1999 16:04:42 +0200] rev 7803
removed generated index.html;
src/HOL/TLA/Buffer/index.html

1999-10-08 wenzelm [Fri, 08 Oct 1999 15:50:10 +0200] rev 7802
isatool_document;
src/Pure/Thy/present.ML

1999-10-08 wenzelm [Fri, 08 Oct 1999 15:39:52 +0200] rev 7801
make: tuned usage;
doc-src/System/misc.tex