src/HOL/Mutabelle/mutabelle_extra.ML
2010-03-07 wenzelm 2010-03-07 modernized structure Object_Logic;
2010-03-02 bulwahn 2010-03-02 adding depth to predicate compile quickcheck for mutabelle tests; removing obsolete references in predicate compile quickcheck
2010-02-25 bulwahn 2010-02-25 adopting Mutabelle to quickcheck reporting; improving quickcheck reporting
2010-02-23 bulwahn 2010-02-23 adding ROOT.ML to HOL-Mutabelle session; uncommenting HOL.induct constants in Mutabelle session
2010-02-23 bulwahn 2010-02-23 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
2010-02-10 haftmann 2010-02-10 moved less_eq, less to Orderings.thy; moved abs, sgn to Groups.thy
2010-01-28 haftmann 2010-01-28 new theory Algebras.thy for generic algebraic structures
2010-01-25 bulwahn 2010-01-25 adding Mutabelle to repository