2002-07-09 paulson [Tue, 09 Jul 2002 23:05:26 +0200] rev 13328
better document preparation
src/ZF/AC.thy src/ZF/Arith.thy src/ZF/ArithSimp.thy src/ZF/Bool.thy src/ZF/Cardinal.thy src/ZF/CardinalArith.thy src/ZF/Cardinal_AC.thy src/ZF/Constructible/Formula.thy src/ZF/Datatype.thy src/ZF/Epsilon.thy src/ZF/Finite.thy

2002-07-09 paulson [Tue, 09 Jul 2002 23:03:21 +0200] rev 13327
converted List to new-style
src/ZF/IsaMakefile src/ZF/List.ML src/ZF/List.thy

2002-07-09 nipkow [Tue, 09 Jul 2002 18:54:27 +0200] rev 13326
*** empty log message ***
doc-src/TutorialI/IsarOverview/Isar/Logic.thy

2002-07-09 berghofe [Tue, 09 Jul 2002 18:03:26 +0200] rev 13325
Added function abs_def.
src/Pure/drule.ML

2002-07-09 paulson [Tue, 09 Jul 2002 17:25:42 +0200] rev 13324
more and simpler separation proofs
src/ZF/Constructible/Separation.thy src/ZF/Constructible/WF_absolute.thy

2002-07-09 paulson [Tue, 09 Jul 2002 15:39:44 +0200] rev 13323
More relativization, reflection and proofs of separation
src/ZF/Constructible/L_axioms.thy src/ZF/Constructible/ROOT.ML src/ZF/Constructible/Relative.thy src/ZF/Constructible/Separation.thy src/ZF/Constructible/WF_absolute.thy src/ZF/Constructible/document/root.tex

2002-07-09 nipkow [Tue, 09 Jul 2002 13:41:38 +0200] rev 13322
*** empty log message ***
doc-src/TutorialI/IsarOverview/Isar/Logic.thy doc-src/TutorialI/IsarOverview/Isar/document/root.tex

2002-07-09 wenzelm [Tue, 09 Jul 2002 11:55:46 +0200] rev 13321
tuned;
Admin/pmail

2002-07-09 isatest [Tue, 09 Jul 2002 11:46:36 +0200] rev 13320
send email plaform independently
Admin/isatest-makeall Admin/pmail

2002-07-09 paulson [Tue, 09 Jul 2002 10:44:53 +0200] rev 13319
More Separation proofs
src/ZF/Constructible/Relative.thy src/ZF/Constructible/Separation.thy src/ZF/Constructible/WFrec.thy