src/HOL/Mutabelle/mutabelle.ML
2012-03-18 wenzelm 2012-03-18 tuned;
2012-02-14 bulwahn 2012-02-14 removing debug code in mutabelle
2012-01-25 bulwahn 2012-01-25 removing dead code from Mutabelle; tuned
2011-11-09 bulwahn 2011-11-09 quickcheck invocations in mutabelle must not catch codegenerator errors internally
2011-10-17 bulwahn 2011-10-17 moving some common functions from quickcheck to the more HOL-specific quickcheck_common; renamed inductive_SML's configurations to more canonical names; adds automatically left and right hand sides of equations as evaluation terms
2011-07-18 bulwahn 2011-07-18 adapting mutabelle to latest changes in quickcheck; removing unused code in mutabelle
2011-04-20 wenzelm 2011-04-20 standardized some ML aliases;
2011-04-16 wenzelm 2011-04-16 modernized structure Proof_Context;
2011-03-23 bulwahn 2011-03-23 adapting mutabelle; exporting more Quickcheck functions
2011-03-18 bulwahn 2011-03-18 adapting mutabelle
2011-02-11 bulwahn 2011-02-11 adjusting HOL-Mutabelle to changes in quickcheck
2010-12-29 wenzelm 2010-12-29 tuned comments;
2010-12-07 wenzelm 2010-12-07 eliminated some hard tabulators (deprecated);
2010-12-03 bulwahn 2010-12-03 adapting mutabelle
2010-12-03 bulwahn 2010-12-03 adapting mutabelle
2010-11-22 bulwahn 2010-11-22 adding AFP tests to Mutabelle_Extra; adopting mutabelle to recent quickcheck changes; filtering strange mutants; adding solvers to mutabelle; restructuring mutabelle
2010-10-29 bulwahn 2010-10-29 adapting HOL-Mutabelle to changes in quickcheck
2010-10-25 wenzelm 2010-10-25 renamed Output.priority to Output.urgent_message to emphasize its special role more clearly;
2010-09-20 wenzelm 2010-09-20 renamed structure PureThy to Pure_Thy and moved most content to Global_Theory, to emphasize that this is global-only;
2010-07-20 wenzelm 2010-07-20 discontinued pervasive val theory = Thy_Info.get_theory -- prefer antiquotations in most situations;
2010-07-08 haftmann 2010-07-08 tuned titles
2010-05-08 wenzelm 2010-05-08 prefer Thm.get_name_hint, which is closer to a user-space idea of "theorem name";
2010-05-05 haftmann 2010-05-05 farewell to old-style mem infixes -- type inference in situations with mem_int and mem_string should provide enough information to resolve the type of (op =)
2010-05-03 wenzelm 2010-05-03 renamed ProofContext.init to ProofContext.init_global to emphasize that this is not the real thing;
2010-03-20 wenzelm 2010-03-20 renamed varify/unvarify operations to varify_global/unvarify_global to emphasize that these only work in a global situation;
2010-03-07 wenzelm 2010-03-07 modernized structure Object_Logic;
2010-02-27 wenzelm 2010-02-27 modernized structure Term_Ord;
2010-01-27 berghofe 2010-01-27 Changed author; removed debugging code.
2010-01-25 bulwahn 2010-01-25 adding Mutabelle to repository