2009-07-02 wenzelm [Thu, 02 Jul 2009 17:34:14 +0200] rev 31902
renamed NamedThmsFun to Named_Thms;
simplified/unified names of instances of Named_Thms;
src/CCL/Wfd.thy src/HOL/Deriv.thy src/HOL/HOL.thy src/HOL/Limits.thy src/HOL/Nominal/nominal_primrec.ML src/HOL/OrderedGroup.thy src/HOL/Tools/Datatype/datatype_abs_proofs.ML src/HOL/Tools/Function/fundef.ML src/HOL/Tools/Function/fundef_common.ML src/HOL/Tools/Function/lexicographic_order.ML src/HOL/Tools/Function/measure_functions.ML src/HOL/Tools/Function/scnp_reconstruct.ML src/HOL/Tools/Function/size.ML src/HOL/Tools/arith_data.ML src/HOL/Tools/inductive.ML src/HOL/Tools/old_primrec.ML src/HOL/Tools/primrec.ML src/HOL/Tools/quickcheck_generators.ML src/HOL/Tools/recdef.ML src/HOL/Tools/record.ML src/HOL/ex/Numeral.thy src/HOLCF/Cont.thy src/Tools/atomize_elim.ML src/ZF/UNITY/Constrains.thy src/ZF/UNITY/SubstAx.thy

2009-07-02 wenzelm [Thu, 02 Jul 2009 17:33:36 +0200] rev 31901
renamed NamedThmsFun to Named_Thms;
NEWS src/Pure/Tools/named_thms.ML

2009-07-02 wenzelm [Thu, 02 Jul 2009 17:30:54 +0200] rev 31900
misc tuning;
NEWS

2009-07-02 wenzelm [Thu, 02 Jul 2009 15:37:22 +0200] rev 31899
fixed document (DERIV_intros);
minor tuning;
src/HOL/Deriv.thy

2009-06-30 wenzelm [Tue, 30 Jun 2009 22:23:33 +0200] rev 31898
more detailed timing message;
src/Pure/System/session.ML

2009-06-30 wenzelm [Tue, 30 Jun 2009 22:12:46 +0200] rev 31897
default to maximum max_threads;
src/Pure/ML-Systems/multithreading_polyml.ML

2009-06-30 wenzelm [Tue, 30 Jun 2009 22:05:07 +0200] rev 31896
merged

2009-06-30 wenzelm [Tue, 30 Jun 2009 22:04:41 +0200] rev 31895
fixed ISABELLE_HOME_USER;
Admin/isatest/settings/mac-poly64-M4

2009-06-30 haftmann [Tue, 30 Jun 2009 22:03:40 +0200] rev 31894
merged

2009-06-30 haftmann [Tue, 30 Jun 2009 19:45:52 +0200] rev 31893
adaptated to changes in term representation
src/HOL/Imperative_HOL/Heap_Monad.thy