2002-07-16 paulson [Tue, 16 Jul 2002 16:28:49 +0200] rev 13362
tweaked definition of setclass
src/ZF/OrdQuant.thy

2002-07-16 paulson [Tue, 16 Jul 2002 16:28:26 +0200] rev 13361
new lemmas
src/ZF/Arith.thy

2002-07-16 nipkow [Tue, 16 Jul 2002 09:36:11 +0200] rev 13360
*** empty log message ***
src/HOL/Lambda/README.html

2002-07-15 isatest [Mon, 15 Jul 2002 15:28:51 +0200] rev 13359
mail address update
Admin/isatest-makeall Admin/isatest-makedist

2002-07-15 schirmer [Mon, 15 Jul 2002 10:41:34 +0200] rev 13358
fix latex output
src/HOL/Bali/Term.thy

2002-07-14 paulson [Sun, 14 Jul 2002 19:59:55 +0200] rev 13357
Removal of mono.thy
src/ZF/Cardinal.thy src/ZF/Epsilon.thy src/ZF/Inductive.thy src/ZF/IsaMakefile src/ZF/Nat.thy src/ZF/Perm.thy src/ZF/QPair.thy src/ZF/QUniv.thy src/ZF/Trancl.thy src/ZF/WF.thy src/ZF/equalities.thy src/ZF/func.thy src/ZF/mono.thy src/ZF/pair.thy src/ZF/upair.thy

2002-07-14 paulson [Sun, 14 Jul 2002 15:14:43 +0200] rev 13356
improved presentation markup
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/Epsilon.thy src/ZF/Finite.thy src/ZF/Fixedpt.thy src/ZF/Inductive.thy src/ZF/InfDatatype.thy src/ZF/IsaMakefile src/ZF/List.thy src/ZF/Main.thy src/ZF/Nat.thy src/ZF/Order.thy src/ZF/OrderArith.thy src/ZF/OrderType.thy src/ZF/Ordinal.thy src/ZF/Perm.thy src/ZF/QPair.thy src/ZF/QUniv.thy src/ZF/Sum.thy src/ZF/Trancl.thy src/ZF/Univ.thy src/ZF/WF.thy src/ZF/ZF.ML src/ZF/Zorn.thy src/ZF/equalities.thy src/ZF/upair.thy

2002-07-14 paulson [Sun, 14 Jul 2002 15:11:21 +0200] rev 13355
merged Update with func
src/ZF/Update.thy src/ZF/func.thy

2002-07-12 schirmer [Fri, 12 Jul 2002 17:16:22 +0200] rev 13354
little Bugfix
src/HOL/Bali/Trans.thy

2002-07-12 paulson [Fri, 12 Jul 2002 16:41:39 +0200] rev 13353
towards relativization of "iterates" and "wfrec"
src/ZF/Constructible/Datatype_absolute.thy src/ZF/Constructible/Relative.thy src/ZF/Constructible/WF_absolute.thy src/ZF/Constructible/WFrec.thy