isabelle: File revisions

src/HOL/Tools/Function/size.ML

Wed, 21 Oct 2009 17:34:35 +0200	blanchet	renamed "nitpick_const_xxx" attributes to "nitpick_xxx" and "nitpick_ind_intros" to "nitpick_intros"	file \| diff \| annotate
Sat, 17 Oct 2009 16:58:03 +0200	wenzelm	operations of structure Skip_Proof (formerly SkipProof) no longer require quick_and_dirty mode;	file \| diff \| annotate
Sat, 17 Oct 2009 00:52:37 +0200	wenzelm	explicitly qualify Drule.standard;	file \| diff \| annotate
Mon, 28 Sep 2009 10:20:21 +0200	haftmann	avoid compound fields in datatype info record	file \| diff \| annotate
Sun, 27 Sep 2009 09:52:23 +0200	haftmann	registering split rules and projected induction rules; ML identifiers more close to Isar theorem names	file \| diff \| annotate
Thu, 02 Jul 2009 17:34:14 +0200	wenzelm	renamed NamedThmsFun to Named_Thms;	file \| diff \| annotate
Tue, 23 Jun 2009 16:27:12 +0200	haftmann	tuned interfaces of datatype module	file \| diff \| annotate
Tue, 23 Jun 2009 12:09:30 +0200	haftmann	uniformly capitialized names for subdirectories	file \| diff \| annotate \| base

isabelle