src/HOL/Tools/Predicate_Compile/predicate_compile_core.ML
2009-10-20 haftmann 2009-10-20 replaced old_style infixes eq_set, subset, union, inter and variants by generic versions
2009-10-20 wenzelm 2009-10-20 uniform use of Integer.min/max;
2009-10-19 wenzelm 2009-10-19 always qualify NJ's old List.foldl/foldr in Isabelle/ML;
2009-10-17 wenzelm 2009-10-17 operations of structure Skip_Proof (formerly SkipProof) no longer require quick_and_dirty mode;
2009-10-17 wenzelm 2009-10-17 indicate CRITICAL nature of various setmp combinators;
2009-10-15 wenzelm 2009-10-15 replaced String.concat by implode; replaced String.concatWith by space_implode; replaced (Seq.flat o Seq.map) by Seq.maps; replaced List.mapPartial by map_filter; replaced List.concat by flat; replaced (flat o map) by maps, which produces less garbage;
2009-10-15 wenzelm 2009-10-15 normalized aliases of Output operations;
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-09-24 bulwahn 2009-09-24 merged; adopted to changes from Code_Evaluation in the predicate compiler
2009-09-23 bulwahn 2009-09-23 replaced sorry by oops; removed old debug functions in predicate compiler
2009-09-23 bulwahn 2009-09-23 added first version of quickcheck based on the predicate compiler; added a few quickcheck examples
2009-09-23 bulwahn 2009-09-23 adapted configuration for DatatypeCase.make_case
2009-09-23 bulwahn 2009-09-23 added context free grammar example; removed dead code; adapted to work without quick and dirty mode; fixed typo
2009-09-23 bulwahn 2009-09-23 added first prototype of the extended predicate compiler
2009-09-23 bulwahn 2009-09-23 moved predicate compiler to Tools