2002-06-11 oheimb [Tue, 11 Jun 2002 16:43:17 +0200] rev 13208
added the usual file headers
src/HOL/Prolog/Func.ML src/HOL/Prolog/Func.thy src/HOL/Prolog/HOHH.ML src/HOL/Prolog/HOHH.thy src/HOL/Prolog/ROOT.ML src/HOL/Prolog/Test.ML src/HOL/Prolog/Test.thy src/HOL/Prolog/Type.ML src/HOL/Prolog/Type.thy

2002-06-11 kleing [Tue, 11 Jun 2002 12:35:33 +0200] rev 13207
included strong soundness (sound + s0 <= phi!0)
src/HOL/MicroJava/BV/LBVCorrect.thy

2002-06-06 wenzelm [Thu, 06 Jun 2002 15:34:52 +0200] rev 13206
updated;
doc-src/IsarTut/Tutorial/document/Tutorial.tex doc-src/IsarTut/Tutorial/document/isabelle.sty doc-src/IsarTut/Tutorial/document/isabellesym.sty

2002-06-06 wenzelm [Thu, 06 Jun 2002 15:34:22 +0200] rev 13205
examples;
doc-src/IsarTut/Tutorial/Tutorial.thy

2002-06-06 wenzelm [Thu, 06 Jun 2002 14:50:48 +0200] rev 13204
updated;
doc-src/IsarTut/Tutorial/document/root.tex

2002-06-05 paulson [Wed, 05 Jun 2002 15:34:55 +0200] rev 13203
Tidying up. Mainly moving proofs from Main.thy to other (Isar) theory files.
src/ZF/Epsilon.thy src/ZF/Finite.thy src/ZF/Main.thy src/ZF/Nat.thy src/ZF/Ordinal.thy src/ZF/Univ.thy src/ZF/WF.thy src/ZF/equalities.thy

2002-06-05 wenzelm [Wed, 05 Jun 2002 12:24:14 +0200] rev 13202
initial setup;
doc-src/IsarTut/IsaMakefile doc-src/IsarTut/Makefile doc-src/IsarTut/Tutorial/ROOT.ML doc-src/IsarTut/Tutorial/Tutorial.thy doc-src/IsarTut/generated/Tutorial.tex doc-src/IsarTut/generated/isabelle.sty doc-src/IsarTut/generated/isabellesym.sty doc-src/IsarTut/isar-tutorial.tex

2002-06-03 nipkow [Mon, 03 Jun 2002 09:36:53 +0200] rev 13201
*** empty log message ***
src/HOL/ex/MergeSort.thy

2002-06-03 nipkow [Mon, 03 Jun 2002 09:36:30 +0200] rev 13200
Added ex/MergeSort
src/HOL/IsaMakefile src/HOL/ex/ROOT.ML

2002-05-31 berghofe [Fri, 31 May 2002 18:52:23 +0200] rev 13199
Added constants for Hyp, Oracle and MinProof.
src/Pure/Proof/proof_syntax.ML