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;