isabelle: File revisions

src/HOL/Tools/Datatype/datatype_prop.ML

Tue, 23 Feb 2010 13:36:15 +0100	bulwahn	adopting mutabelle and quickcheck to return timing information; exporting make_case_combs in datatype package for predicate compiler; adding Spec_Rules declaration for tail recursive functions; improving the predicate compiler and function flattening	file \| diff \| annotate
Mon, 30 Nov 2009 11:42:49 +0100	haftmann	modernized structures and tuned headers of datatype package modules; joined former datatype.ML and datatype_rep_proofs.ML	file \| diff \| annotate
Wed, 25 Nov 2009 09:13:46 +0100	haftmann	normalized uncurry take/drop	file \| diff \| annotate
Tue, 24 Nov 2009 17:28:25 +0100	haftmann	curried take/drop	file \| diff \| annotate
Thu, 29 Oct 2009 23:49:55 +0100	wenzelm	eliminated some old folds;	file \| diff \| annotate
Thu, 29 Oct 2009 17:58:26 +0100	wenzelm	standardized filter/filter_out;	file \| diff \| annotate
Tue, 27 Oct 2009 22:55:27 +0100	wenzelm	Datatype.read_typ: standard argument order;	file \| diff \| annotate
Thu, 15 Oct 2009 23:28:10 +0200	wenzelm	replaced String.concat by implode;	file \| diff \| annotate
Tue, 23 Jun 2009 12:09:30 +0200	haftmann	uniformly capitialized names for subdirectories	file \| diff \| annotate \| base

isabelle