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

1999-10-29 wenzelm [Fri, 29 Oct 1999 18:31:08 +0200] rev 7975
comment out isabellesym.sty;
doc-src/System/present.tex

1999-10-29 wenzelm [Fri, 29 Oct 1999 16:48:55 +0200] rev 7974
improved;
doc-src/IsarRef/generic.tex doc-src/IsarRef/isar-ref.tex doc-src/IsarRef/pure.tex doc-src/IsarRef/refcard.tex

1999-10-29 wenzelm [Fri, 29 Oct 1999 12:49:50 +0200] rev 7973
\isasymbol renamed to \isasym;
src/Pure/Thy/latex.ML

1999-10-29 wenzelm [Fri, 29 Oct 1999 12:48:50 +0200] rev 7972
tuned;
Admin/index.html doc-src/isar.sty