isabelle: File revisions

src/HOL/Predicate_Compile.thy

2010-10-21	bulwahn	splitting large core file into core_data, mode_inference and predicate_compile_proof	file \| diff \| annotate
2010-03-31	bulwahn	putting compilation setup of predicate compiler in a separate file	file \| diff \| annotate
2010-03-29	bulwahn	adding specialisation of predicates to the predicate compiler	file \| diff \| annotate
2010-03-29	bulwahn	adopting Predicate_Compile	file \| diff \| annotate
2010-03-22	wenzelm	recovered header;	file \| diff \| annotate
2010-03-22	bulwahn	removed unused Predicate_Compile_Set	file \| diff \| annotate
2010-03-22	bulwahn	reviving the classical depth-limited computation in the predicate compiler	file \| diff \| annotate
2010-01-20	bulwahn	refactoring the predicate compiler; adding theories for Sequences; adding retrieval to Spec_Rules; adding timing to Quickcheck	file \| diff \| annotate
2009-10-27	wenzelm	proper headers;	file \| diff \| annotate
2009-10-27	bulwahn	including the predicate compiler in HOL-Main; added RandomPredicate monad to Quickcheck	file \| diff \| annotate

isabelle