isabelle: File revisions

src/HOL/ex/Predicate_Compile_Alternative_Defs.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
Thu, 12 Nov 2009 09:11:36 +0100	bulwahn	renaming code_pred_intros to code_pred_intro	file \| diff \| annotate
Thu, 12 Nov 2009 09:10:42 +0100	bulwahn	changed modes to expected_modes; added UNION to code_pred_inlining; fixed some examples; tuned	file \| diff \| annotate
Wed, 28 Oct 2009 12:29:00 +0100	bulwahn	improved handling of alternative rules; added test cases for alternative rules; normalized tracing in the predicate compiler	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
Sat, 24 Oct 2009 20:27:26 +0200	bulwahn	further changes due to the previous merge in the predicate compiler	file \| diff \| annotate

isabelle