isabelle: File revisions

src/HOL/ex/Predicate_Compile_Quickcheck_ex.thy

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
Fri, 06 Nov 2009 08:11:58 +0100	bulwahn	improved handling of overloaded constants; examples with numerals	file \| diff \| annotate
Tue, 03 Nov 2009 10:36:20 +0100	bulwahn	adding testcases for code inlining, sets and numerals to the example files of the predicate compiler and its quickcheck prototype; disabling length example	file \| diff \| annotate
Fri, 30 Oct 2009 09:55:15 +0100	bulwahn	renamed rpred to random	file \| diff \| annotate
Tue, 27 Oct 2009 09:06:05 +0100	bulwahn	added examples for quickcheck prototype	file \| diff \| annotate

isabelle