isabelle: File revisions

src/HOL/Tools/Predicate_Compile/predicate_compile_pred.ML

Mon, 01 Mar 2010 09:47:44 +0100	bulwahn	made smlnj happy	file \| diff \| annotate
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
Wed, 20 Jan 2010 11:56:45 +0100	bulwahn	refactoring the predicate compiler; adding theories for Sequences; adding retrieval to Spec_Rules; adding timing to Quickcheck	file \| diff \| annotate
Thu, 05 Nov 2009 16:10:49 +0100	wenzelm	eliminated funny record patterns and made SML/NJ happy;	file \| diff \| annotate
Tue, 03 Nov 2009 10:24:05 +0100	bulwahn	recursively replacing abstractions by new definitions in the predicate compiler	file \| diff \| annotate
Fri, 30 Oct 2009 09:55:15 +0100	bulwahn	renamed rpred to random	file \| diff \| annotate
Wed, 28 Oct 2009 00:07:51 +0100	wenzelm	proper headers;	file \| diff \| annotate
Tue, 27 Oct 2009 09:02:22 +0100	bulwahn	including the predicate compiler in HOL-Main; added RandomPredicate monad to Quickcheck	file \| diff \| annotate

isabelle