2009-07-02 wenzelm [Thu, 02 Jul 2009 22:17:08 +0200] rev 31905
strip_shyps: remove top sort, which is logically insignificant;
src/Pure/thm.ML

2009-07-02 wenzelm [Thu, 02 Jul 2009 21:26:18 +0200] rev 31904
renamed Drule.sort_triv to Thm.sort_triv (cf. more_thm.ML);
src/Pure/Isar/class.ML src/Pure/axclass.ML src/Pure/drule.ML src/Pure/more_thm.ML

2009-07-02 wenzelm [Thu, 02 Jul 2009 20:55:44 +0200] rev 31903
added pro-forma proof constructor Inclass;
src/Pure/Proof/proof_syntax.ML src/Pure/Proof/reconstruct.ML src/Pure/proofterm.ML src/Pure/thm.ML

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