src/HOL/Code_Setup.thy
2008-09-25 haftmann 2008-09-25 discontinued special treatment of op = vs. eq_class.eq
2008-09-18 wenzelm 2008-09-18 simplified oracle interface;
2008-08-28 haftmann 2008-08-28 restructured and split code serializer module
2008-08-27 haftmann 2008-08-27 tuned code generator setup
2008-07-03 haftmann 2008-07-03 adjusted postprocessort setup
2008-06-10 haftmann 2008-06-10 major refactorings in code generator modules
2008-05-23 berghofe 2008-05-23 Replaced Pretty.str and Pretty.string_of by specific functions (from Codegen) that set print_mode and margin appropriately.
2008-01-25 haftmann 2008-01-25 clarified setup of method "normalization"
2008-01-15 haftmann 2008-01-15 explicit code lemma for implication
2008-01-10 berghofe 2008-01-10 New interface for test data generators.
2008-01-08 haftmann 2008-01-08 normalization conversion
2008-01-08 berghofe 2008-01-08 imp_conv_disj is now declared as a "code unfold" lemma to avoid that conclusion is evaluated eagerly.
2007-12-05 haftmann 2007-12-05 simplified infrastructure for code generator operational equality
2007-10-04 haftmann 2007-10-04 certificates for code generator case expressions
2007-10-04 haftmann 2007-10-04 clarified relationship of code generator conversions and evaluations
2007-08-28 berghofe 2007-08-28 Smaller size and fewer iterations for quickcheck.
2007-08-16 haftmann 2007-08-16 fixed codegen setup
2007-08-15 haftmann 2007-08-15 added Code_Setup