2007-11-02 haftmann [Fri, 02 Nov 2007 18:53:00 +0100] rev 25269
clarified theory target interface
src/Pure/Isar/isar_syn.ML src/Pure/Isar/theory_target.ML src/Pure/Isar/toplevel.ML

2007-11-02 haftmann [Fri, 02 Nov 2007 18:52:59 +0100] rev 25268
more precise treatment of prove_subclass
src/Pure/Isar/class.ML

2007-11-02 haftmann [Fri, 02 Nov 2007 18:52:58 +0100] rev 25267
proper reinitialisation after subclass
src/HOL/OrderedGroup.thy src/HOL/Ring_and_Field.thy src/Pure/Isar/subclass.ML

2007-11-02 haftmann [Fri, 02 Nov 2007 18:52:57 +0100] rev 25266
clarified
doc-src/IsarRef/syntax.tex

2007-11-02 paulson [Fri, 02 Nov 2007 16:38:37 +0100] rev 25265
tweaked
doc-src/TutorialI/Fun/document/fun0.tex doc-src/TutorialI/Fun/fun0.thy

2007-11-02 paulson [Fri, 02 Nov 2007 16:38:14 +0100] rev 25264
recdef to fun
doc-src/TutorialI/Rules/Forward.thy doc-src/TutorialI/Rules/rules.tex

2007-11-02 nipkow [Fri, 02 Nov 2007 15:56:49 +0100] rev 25263
*** empty log message ***
doc-src/TutorialI/Fun/document/fun0.tex doc-src/TutorialI/Fun/fun0.thy doc-src/TutorialI/fp.tex

2007-11-02 kleing [Fri, 02 Nov 2007 12:35:27 +0100] rev 25262
Added reference to Jeremy Dawson's paper on the word library.
Added header to remaining word/*.thy files so they show up in toc.
src/HOL/Word/Examples/WordExamples.thy src/HOL/Word/Size.thy src/HOL/Word/TdThs.thy src/HOL/Word/document/root.tex

2007-11-02 nipkow [Fri, 02 Nov 2007 08:59:15 +0100] rev 25261
recdef -> fun
doc-src/TutorialI/Datatype/Nested.thy doc-src/TutorialI/Fun/document/fun0.tex doc-src/TutorialI/Fun/fun0.thy doc-src/TutorialI/Rules/Forward.thy doc-src/TutorialI/Rules/Primes.thy doc-src/TutorialI/Sets/sets.tex doc-src/TutorialI/fp.tex

2007-11-02 nipkow [Fri, 02 Nov 2007 08:26:01 +0100] rev 25260
added Fun
doc-src/TutorialI/Fun/ROOT.ML doc-src/TutorialI/Fun/document/fun0.tex doc-src/TutorialI/Fun/fun0.thy