2000-08-22 paulson [Tue, 22 Aug 2000 10:59:15 +0200] rev 9675
updated to latest versions of ttbox and ttbreak
doc-src/Tutorial/extra.sty doc-src/TutorialI/extra.sty doc-src/extra.sty

2000-08-21 wenzelm [Mon, 21 Aug 2000 19:29:27 +0200] rev 9674
updated;
doc-src/TutorialI/Recdef/document/Induction.tex doc-src/TutorialI/Recdef/document/examples.tex doc-src/TutorialI/Recdef/document/simplification.tex doc-src/TutorialI/Recdef/document/termination.tex doc-src/TutorialI/ToyList/document/ToyList.tex doc-src/TutorialI/Trie/document/Option2.tex doc-src/TutorialI/Trie/document/Trie.tex

2000-08-21 wenzelm [Mon, 21 Aug 2000 19:17:07 +0200] rev 9673
updated;
doc-src/TutorialI/CodeGen/document/CodeGen.tex doc-src/TutorialI/Datatype/ROOT.ML doc-src/TutorialI/Datatype/document/ABexpr.tex doc-src/TutorialI/Datatype/document/Fundata.tex doc-src/TutorialI/Datatype/document/unfoldnested.tex doc-src/TutorialI/Ifexpr/document/Ifexpr.tex doc-src/TutorialI/Misc/document/AdvancedInd.tex doc-src/TutorialI/Misc/document/Itrev.tex doc-src/TutorialI/Misc/document/Tree.tex doc-src/TutorialI/Misc/document/Tree2.tex doc-src/TutorialI/Misc/document/arith1.tex doc-src/TutorialI/Misc/document/arith2.tex doc-src/TutorialI/Misc/document/arith3.tex doc-src/TutorialI/Misc/document/arith4.tex doc-src/TutorialI/Misc/document/asm_simp.tex doc-src/TutorialI/Misc/document/case_splits.tex doc-src/TutorialI/Misc/document/cases.tex doc-src/TutorialI/Misc/document/cond_rewr.tex doc-src/TutorialI/Misc/document/def_rewr.tex doc-src/TutorialI/Misc/document/fakenat.tex doc-src/TutorialI/Misc/document/let_rewr.tex doc-src/TutorialI/Misc/document/natsum.tex doc-src/TutorialI/Misc/document/pairs.tex doc-src/TutorialI/Misc/document/prime_def.tex doc-src/TutorialI/Misc/document/trace_simp.tex doc-src/TutorialI/Misc/document/types.tex doc-src/TutorialI/fp.tex doc-src/TutorialI/isabelle.sty

2000-08-21 wenzelm [Mon, 21 Aug 2000 19:03:58 +0200] rev 9672
updated;
doc-src/AxClass/generated/Group.tex doc-src/AxClass/generated/NatClass.tex doc-src/AxClass/generated/Product.tex doc-src/AxClass/generated/Semigroups.tex doc-src/AxClass/generated/isabelle.sty

2000-08-21 wenzelm [Mon, 21 Aug 2000 18:49:38 +0200] rev 9671
tuned translations;
src/HOL/MicroJava/J/Eval.thy

2000-08-21 nipkow [Mon, 21 Aug 2000 18:45:29 +0200] rev 9670
*** empty log message ***
doc-src/TutorialI/Misc/document/AdvancedInd.tex

2000-08-21 wenzelm [Mon, 21 Aug 2000 18:40:30 +0200] rev 9669
added \isastyleminor;
more \isachars;
added \isadigit;
improved \isakeyword;
tuned;
lib/texinputs/isabelle.sty

2000-08-21 wenzelm [Mon, 21 Aug 2000 18:38:27 +0200] rev 9668
more \isachars;
added \isadigit;
simplified command markup;
src/Pure/Thy/latex.ML

2000-08-21 wenzelm [Mon, 21 Aug 2000 18:16:47 +0200] rev 9667
fixed has_meta_prems: strip_assums_hyp;
src/Pure/logic.ML

2000-08-21 nipkow [Mon, 21 Aug 2000 17:54:43 +0200] rev 9666
*** empty log message ***
doc-src/TutorialI/IsaMakefile