2009-09-21 haftmann [Mon, 21 Sep 2009 14:23:12 +0200] rev 32690
merged

2009-09-21 haftmann [Mon, 21 Sep 2009 14:23:04 +0200] rev 32689
tuned proof; tuned headers
src/HOL/UNITY/Follows.thy src/HOL/UNITY/UNITY_Main.thy

2009-09-21 haftmann [Mon, 21 Sep 2009 12:24:21 +0200] rev 32688
merged

2009-09-21 haftmann [Mon, 21 Sep 2009 12:23:52 +0200] rev 32687
tuned proofs; be more cautios wrt. default simp rules
src/HOL/Hoare_Parallel/Gar_Coll.thy src/HOL/Hoare_Parallel/Mul_Gar_Coll.thy src/HOL/Hoare_Parallel/RG_Hoare.thy

2009-09-21 haftmann [Mon, 21 Sep 2009 11:01:49 +0200] rev 32686
merged
NEWS

2009-09-21 haftmann [Mon, 21 Sep 2009 11:01:39 +0200] rev 32685
tuned proofs
src/HOL/Library/Euclidean_Space.thy src/HOL/Library/Topology_Euclidean_Space.thy src/HOL/MetisExamples/Message.thy src/HOL/MetisExamples/set.thy

2009-09-19 haftmann [Sat, 19 Sep 2009 07:38:11 +0200] rev 32684
merged

2009-09-19 haftmann [Sat, 19 Sep 2009 07:38:03 +0200] rev 32683
inter and union are mere abbreviations for inf and sup
NEWS src/HOL/Finite_Set.thy src/HOL/Inductive.thy src/HOL/Library/Executable_Set.thy src/HOL/Set.thy src/HOL/Tools/Function/fundef_lib.ML src/HOL/Tools/Function/termination.ML src/HOL/Tools/inductive_set.ML src/HOL/ex/predicate_compile.ML

2009-09-24 haftmann [Thu, 24 Sep 2009 19:14:18 +0200] rev 32682
merged

2009-09-24 haftmann [Thu, 24 Sep 2009 18:29:29 +0200] rev 32681
lemma relating fold1 and foldl; code_unfold rules for Inf_fin, Sup_fin, Min, Max, Inf, Sup
src/HOL/List.thy