src/HOL/Predicate_Compile.thy
2018-02-15 wenzelm more symbols;
2016-07-11 wenzelm tuned;
2016-02-23 nipkow more canonical names
2015-07-18 wenzelm isabelle update_cartouches;
2014-11-02 wenzelm modernized header uniformly as section;
2014-10-29 wenzelm modernized setup;
2014-02-17 wenzelm more informative error;
2013-05-16 Andreas Lochbihler setup for set membership as a predicate for code_pred
2013-02-14 haftmann reform of predicate compiler / quickcheck theories:
2012-11-12 haftmann tuned import order
2012-08-22 wenzelm prefer ML_file over old uses;
2012-03-15 wenzelm declare command keywords via theory header, including strict checking outside Pure;
2012-02-24 haftmann moved predicate relations and conversion rules between set and predicate relations from Predicate.thy to Relation.thy; moved Predicate.thy upwards in theory hierarchy
2012-02-24 haftmann given up disfruitful branch
2012-02-23 haftmann moved predicate relations and conversion rules between set and predicate relations from Predicate.thy to Relation.thy; moved Predicate.thy upwards in theory hierarchy
2011-11-11 bulwahn adding CPS compilation to predicate compiler;
2010-10-21 bulwahn splitting large core file into core_data, mode_inference and predicate_compile_proof
2010-03-31 bulwahn putting compilation setup of predicate compiler in a separate file
2010-03-29 bulwahn adding specialisation of predicates to the predicate compiler
2010-03-29 bulwahn adopting Predicate_Compile
2010-03-22 wenzelm recovered header;
2010-03-22 bulwahn removed unused Predicate_Compile_Set
2010-03-22 bulwahn reviving the classical depth-limited computation in the predicate compiler
2010-01-20 bulwahn refactoring the predicate compiler; adding theories for Sequences; adding retrieval to Spec_Rules; adding timing to Quickcheck
2009-10-27 wenzelm proper headers;
2009-10-27 bulwahn including the predicate compiler in HOL-Main; added RandomPredicate monad to Quickcheck
less more (0) tip