2007-07-29 wenzelm [Sun, 29 Jul 2007 14:30:07 +0200] rev 24051
replaced program_defs_ref by proper context data (via attribute "program");
src/ZF/UNITY/AllocImpl.thy src/ZF/UNITY/ClientImpl.thy src/ZF/UNITY/Constrains.thy src/ZF/UNITY/Mutex.thy src/ZF/UNITY/SubstAx.thy

2007-07-29 wenzelm [Sun, 29 Jul 2007 14:30:06 +0200] rev 24050
renamed Drule.is_dummy_thm to Thm.is_dummy;
src/Pure/Isar/proof.ML

2007-07-29 wenzelm [Sun, 29 Jul 2007 14:30:05 +0200] rev 24049
added list update;
src/Pure/library.ML

2007-07-29 wenzelm [Sun, 29 Jul 2007 14:30:04 +0200] rev 24048
moved Drule.add/del/merge_rules to Thm.add/del/merge_thms;
moved Drule.is_dummy_thm to Thm.is_dummy;
src/Pure/drule.ML src/Pure/more_thm.ML

2007-07-29 wenzelm [Sun, 29 Jul 2007 14:30:03 +0200] rev 24047
Named collections of theorems in canonical order.
src/Pure/Tools/named_thms.ML

2007-07-29 wenzelm [Sun, 29 Jul 2007 14:30:02 +0200] rev 24046
added Tools/named_thms.ML;
src/Pure/IsaMakefile src/Pure/Tools/ROOT.ML

2007-07-29 wenzelm [Sun, 29 Jul 2007 14:30:01 +0200] rev 24045
renamed Drule.add/del/merge_rules to Thm.add/del/merge_thms;
tuned;
src/HOL/ex/reflection_data.ML

2007-07-29 wenzelm [Sun, 29 Jul 2007 14:30:00 +0200] rev 24044
avoid ill-defined Simp_tac;
src/HOL/ex/reflection.ML

2007-07-29 wenzelm [Sun, 29 Jul 2007 14:29:59 +0200] rev 24043
marked some CRITICAL sections;
src/HOL/ex/Random.thy src/HOLCF/Tools/cont_proc.ML

2007-07-29 wenzelm [Sun, 29 Jul 2007 14:29:58 +0200] rev 24042
simplified ResAtpset via NamedThmsFun;
src/HOL/Tools/res_axioms.ML