paulson [Thu, 02 Jul 2009 10:49:46 +0100] rev 31910
Deleted some debugging code
paulson [Wed, 01 Jul 2009 16:19:44 +0100] rev 31909
merged
paulson [Wed, 24 Jun 2009 16:28:30 +0100] rev 31908
merged
paulson [Tue, 23 Jun 2009 15:48:55 +0100] rev 31907
merged
paulson [Thu, 18 Jun 2009 17:14:08 +0100] rev 31906
Removed unnecessary conditions concerning nonzero divisors
wenzelm [Thu, 02 Jul 2009 22:17:08 +0200] rev 31905
strip_shyps: remove top sort, which is logically insignificant;
wenzelm [Thu, 02 Jul 2009 21:26:18 +0200] rev 31904
renamed Drule.sort_triv to Thm.sort_triv (cf. more_thm.ML);
wenzelm [Thu, 02 Jul 2009 20:55:44 +0200] rev 31903
added pro-forma proof constructor Inclass;
wenzelm [Thu, 02 Jul 2009 17:34:14 +0200] rev 31902
renamed NamedThmsFun to Named_Thms;
simplified/unified names of instances of Named_Thms;
wenzelm [Thu, 02 Jul 2009 17:33:36 +0200] rev 31901
renamed NamedThmsFun to Named_Thms;
wenzelm [Thu, 02 Jul 2009 17:30:54 +0200] rev 31900
misc tuning;
wenzelm [Thu, 02 Jul 2009 15:37:22 +0200] rev 31899
fixed document (DERIV_intros);
minor tuning;
wenzelm [Tue, 30 Jun 2009 22:23:33 +0200] rev 31898
more detailed timing message;
wenzelm [Tue, 30 Jun 2009 22:12:46 +0200] rev 31897
default to maximum max_threads;
wenzelm [Tue, 30 Jun 2009 22:05:07 +0200] rev 31896
merged