2001-01-24 wenzelm [Wed, 24 Jan 2001 21:01:47 +0100] rev 10976
* Document preparation: renamed standard symbols \<ll> to \<lless> and
\<gg> to \<ggreater>;
NEWS

2001-01-24 wenzelm [Wed, 24 Jan 2001 20:57:19 +0100] rev 10975
added eufrak symbols;
renamed \<ll> to \<lless> and \<gg> to \<ggreater>;
lib/texinputs/isabellesym.sty

2001-01-24 wenzelm [Wed, 24 Jan 2001 20:56:12 +0100] rev 10974
more symbols;
doc-src/System/showsymbols doc-src/System/symbols.tex doc-src/System/system.tex

2001-01-24 wenzelm [Wed, 24 Jan 2001 20:55:29 +0100] rev 10973
empty_upd_none;
src/HOL/Map.ML

2001-01-24 oheimb [Wed, 24 Jan 2001 17:53:01 +0100] rev 10972
debugging and extensions
lib/scripts/convert.pl

2001-01-24 nipkow [Wed, 24 Jan 2001 12:29:10 +0100] rev 10971
*** empty log message ***
doc-src/TutorialI/CTL/CTL.thy doc-src/TutorialI/CTL/CTLind.thy doc-src/TutorialI/CTL/PDL.thy doc-src/TutorialI/CTL/document/CTL.tex doc-src/TutorialI/CTL/document/CTLind.tex doc-src/TutorialI/CTL/document/PDL.tex doc-src/TutorialI/CodeGen/CodeGen.thy doc-src/TutorialI/CodeGen/document/CodeGen.tex doc-src/TutorialI/Datatype/ABexpr.thy doc-src/TutorialI/Datatype/Nested.thy doc-src/TutorialI/Datatype/document/ABexpr.tex doc-src/TutorialI/Datatype/document/Nested.tex doc-src/TutorialI/Datatype/document/unfoldnested.tex doc-src/TutorialI/Datatype/unfoldnested.thy doc-src/TutorialI/Ifexpr/Ifexpr.thy doc-src/TutorialI/Ifexpr/document/Ifexpr.tex doc-src/TutorialI/Misc/Itrev.thy doc-src/TutorialI/Misc/document/Itrev.tex doc-src/TutorialI/Misc/document/natsum.tex doc-src/TutorialI/Misc/document/simp.tex doc-src/TutorialI/Misc/natsum.thy doc-src/TutorialI/Misc/simp.thy doc-src/TutorialI/Recdef/Induction.thy doc-src/TutorialI/Recdef/document/Induction.tex doc-src/TutorialI/Recdef/document/termination.tex doc-src/TutorialI/Recdef/termination.thy doc-src/TutorialI/Rules/rules.tex doc-src/TutorialI/ToyList/ToyList.thy doc-src/TutorialI/ToyList/document/ToyList.tex doc-src/TutorialI/Trie/Trie.thy doc-src/TutorialI/Trie/document/Trie.tex doc-src/TutorialI/Types/Overloading2.thy doc-src/TutorialI/Types/document/Overloading2.tex doc-src/TutorialI/basics.tex doc-src/TutorialI/fp.tex doc-src/TutorialI/todo.tobias doc-src/TutorialI/tutorial.tex

2001-01-24 nipkow [Wed, 24 Jan 2001 11:59:15 +0100] rev 10970
*** empty log message ***
doc-src/manual.bib

2001-01-24 wenzelm [Wed, 24 Jan 2001 00:06:32 +0100] rev 10969
no_brackets;
src/HOL/Unix/ROOT.ML

2001-01-23 wenzelm [Tue, 23 Jan 2001 18:17:14 +0100] rev 10968
tuned;
src/HOL/Unix/document/root.bib src/HOL/Unix/document/root.tex

2001-01-23 paulson [Tue, 23 Jan 2001 18:13:00 +0100] rev 10967
arg_cong, tacticals, pr, defer, prefer
doc-src/TutorialI/Rules/rules.tex