2000-09-12 wenzelm [Tue, 12 Sep 2000 17:34:50 +0200] rev 9936
renamed "delrule" to "rule del";
doc-src/IsarRef/generic.tex doc-src/IsarRef/pure.tex

2000-09-12 wenzelm [Tue, 12 Sep 2000 17:34:41 +0200] rev 9935
tuned;
doc-src/IsarRef/hol.tex

2000-09-12 wenzelm [Tue, 12 Sep 2000 17:01:14 +0200] rev 9934
tuned;
Admin/makedist Admin/page/dist-content/binary.content Admin/page/dist-content/docs.content Admin/page/dist-content/source.content

2000-09-12 nipkow [Tue, 12 Sep 2000 15:43:15 +0200] rev 9933
*** empty log message ***
doc-src/TutorialI/CodeGen/CodeGen.thy doc-src/TutorialI/Datatype/Fundata.thy doc-src/TutorialI/Datatype/Nested.thy doc-src/TutorialI/Datatype/document/Fundata.tex doc-src/TutorialI/Datatype/document/Nested.tex doc-src/TutorialI/Ifexpr/Ifexpr.thy doc-src/TutorialI/Ifexpr/document/Ifexpr.tex doc-src/TutorialI/IsaMakefile doc-src/TutorialI/Misc/AdvancedInd.thy doc-src/TutorialI/Misc/document/AdvancedInd.tex doc-src/TutorialI/Misc/document/pairs.tex doc-src/TutorialI/Misc/document/simp.tex doc-src/TutorialI/Misc/document/types.tex doc-src/TutorialI/Misc/pairs.thy doc-src/TutorialI/Misc/types.thy doc-src/TutorialI/Recdef/Nested1.thy doc-src/TutorialI/Recdef/Nested2.thy doc-src/TutorialI/Recdef/document/Nested1.tex doc-src/TutorialI/Recdef/document/Nested2.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/Recdef/examples.thy doc-src/TutorialI/Recdef/simplification.thy doc-src/TutorialI/Recdef/termination.thy doc-src/TutorialI/Trie/Trie.thy doc-src/TutorialI/Trie/document/Trie.tex doc-src/TutorialI/appendix.tex doc-src/TutorialI/basics.tex doc-src/TutorialI/fp.tex doc-src/TutorialI/tricks.tex

2000-09-12 nipkow [Tue, 12 Sep 2000 14:59:44 +0200] rev 9932
*** empty log message ***
doc-src/TutorialI/Misc/simp.thy

2000-09-12 wenzelm [Tue, 12 Sep 2000 10:50:29 +0200] rev 9931
added MicroJava/document/root.bib;
src/HOL/IsaMakefile src/HOL/MicroJava/document/root.bib

2000-09-12 paulson [Tue, 12 Sep 2000 10:27:16 +0200] rev 9930
tidying and updating for revised Mutilated Chess Board article
src/HOL/Induct/Mutil.ML src/HOL/Induct/Mutil.thy

2000-09-11 wenzelm [Mon, 11 Sep 2000 20:44:53 +0200] rev 9929
simple RPM spec for in-situ package;
Admin/polyml/polyml.spec Admin/proofgeneral/proofgeneral.spec

2000-09-11 wenzelm [Mon, 11 Sep 2000 20:41:58 +0200] rev 9928
template;
ANNOUNCE

2000-09-11 wenzelm [Mon, 11 Sep 2000 20:41:44 +0200] rev 9927
tuned;
INSTALL README.html