2003-08-19 paulson [Tue, 19 Aug 2003 13:53:58 +0200] rev 14152
For the Isar version of the ZF logics manual
doc-src/ZF/FOL-eg.txt doc-src/ZF/FOL_examples.thy doc-src/ZF/IFOL_examples.thy doc-src/ZF/IsaMakefile doc-src/ZF/ROOT.ML doc-src/ZF/ZF-eg.txt doc-src/ZF/ZF_examples.thy doc-src/ZF/isabelle.sty doc-src/ZF/isabellesym.sty

2003-08-15 paulson [Fri, 15 Aug 2003 13:45:39 +0200] rev 14151
converting ex/If to Isar script
src/FOL/IsaMakefile src/FOL/ex/If.ML src/FOL/ex/If.thy

2003-08-15 paulson [Fri, 15 Aug 2003 13:07:01 +0200] rev 14150
A document for UNITY
src/HOL/IsaMakefile src/HOL/UNITY/Comp/PriorityAux.thy src/HOL/UNITY/PPROD.thy src/HOL/UNITY/ProgressSets.thy src/HOL/UNITY/Simple/Reach.thy src/HOL/UNITY/SubstAx.thy src/HOL/UNITY/UNITY.thy src/HOL/UNITY/Union.thy src/HOL/UNITY/WFair.thy src/HOL/UNITY/document/root.tex

2003-08-13 paulson [Wed, 13 Aug 2003 17:44:42 +0200] rev 14149
reformatting change and mention of Introduction to Isabelle
doc-src/Ref/ref.tex

2003-08-13 paulson [Wed, 13 Aug 2003 17:44:01 +0200] rev 14148
corrections by Viktor Kuncak and minor updating
doc-src/Intro/advanced.tex doc-src/Intro/deriv.txt doc-src/Intro/getting.tex doc-src/Intro/intro.tex

2003-08-13 paulson [Wed, 13 Aug 2003 17:24:59 +0200] rev 14147
added tutorial
doc-src/manual.bib

2003-08-13 paulson [Wed, 13 Aug 2003 12:28:53 +0200] rev 14146
possibility proof!
src/HOL/Auth/ZhouGollmann.thy

2003-08-12 paulson [Tue, 12 Aug 2003 13:35:03 +0200] rev 14145
ZhouGollmann: new example (fair non-repudiation protocol)
src/HOL/Auth/CertifiedEmail.thy src/HOL/Auth/Message.thy src/HOL/Auth/ROOT.ML src/HOL/Auth/ZhouGollmann.thy src/HOL/IsaMakefile

2003-08-08 streckem [Fri, 08 Aug 2003 15:05:11 +0200] rev 14144
added lemma c_hupd_fst
src/HOL/MicroJava/J/State.thy

2003-08-08 streckem [Fri, 08 Aug 2003 14:59:52 +0200] rev 14143
Modifications after changes in MicroJava/J
src/HOL/MicroJava/Comp/CorrComp.thy