1999-10-30 wenzelm [Sat, 30 Oct 1999 20:39:01 +0200] rev 7985
fixed deps;
src/HOL/IsaMakefile

1999-10-30 wenzelm [Sat, 30 Oct 1999 20:32:04 +0200] rev 7984
tuned;
src/HOL/Real/HahnBanach/document/bbb.sty src/HOL/Real/HahnBanach/document/notation.tex src/HOL/Real/HahnBanach/document/root.tex

1999-10-30 wenzelm [Sat, 30 Oct 1999 20:21:46 +0200] rev 7983
tuned;
src/HOL/README.html

1999-10-30 wenzelm [Sat, 30 Oct 1999 20:20:48 +0200] rev 7982
improved presentation;
src/HOL/Isar_examples/BasicLogic.thy src/HOL/Isar_examples/Cantor.thy src/HOL/Isar_examples/ExprCompiler.thy src/HOL/Isar_examples/Group.thy src/HOL/Isar_examples/KnasterTarski.thy src/HOL/Isar_examples/MultisetOrder.thy src/HOL/Isar_examples/Peirce.thy src/HOL/Isar_examples/Summation.thy src/HOL/Isar_examples/W_correct.thy src/HOL/Isar_examples/document/style.tex

1999-10-30 wenzelm [Sat, 30 Oct 1999 20:13:16 +0200] rev 7981
tuned;
doc-src/IsarRef/basics.tex doc-src/IsarRef/generic.tex doc-src/IsarRef/intro.tex doc-src/IsarRef/isar-ref.tex doc-src/IsarRef/pure.tex doc-src/IsarRef/refcard.tex doc-src/IsarRef/syntax.tex

1999-10-30 wenzelm [Sat, 30 Oct 1999 20:12:23 +0200] rev 7980
isabellesym.sty;
doc-src/System/present.tex

1999-10-30 wenzelm [Sat, 30 Oct 1999 20:11:35 +0200] rev 7979
definitions of many Isabelle symbols;
lib/texinputs/isabellesym.sty

1999-10-29 wenzelm [Fri, 29 Oct 1999 20:18:34 +0200] rev 7978
final update by Gertrud Bauer;
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/HahnBanachExtLemmas.thy src/HOL/Real/HahnBanach/HahnBanachSupLemmas.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/VectorSpace.thy src/HOL/Real/HahnBanach/ZornLemma.thy src/HOL/Real/HahnBanach/document/bbb.sty src/HOL/Real/HahnBanach/document/notation.tex src/HOL/Real/HahnBanach/document/root.tex

1999-10-29 wenzelm [Fri, 29 Oct 1999 19:24:20 +0200] rev 7977
workaround bug (feature?) in bibtex;
src/HOL/Isar_examples/document/root.bib

1999-10-29 wenzelm [Fri, 29 Oct 1999 19:00:51 +0200] rev 7976
tuned;
doc-src/IsarRef/refcard.tex doc-src/iman.sty doc-src/isar.sty