src/HOL/Code_Setup.thy
2009-03-16 wenzelm 2009-03-16 simplified method setup;
2009-03-13 wenzelm 2009-03-13 unified type Proof.method and pervasive METHOD combinators;
2008-12-15 haftmann 2008-12-15 moved value.ML to src/Tools
2008-11-20 wenzelm 2008-11-20 Pure syntax: more coherent treatment of aprop, permanent TERM and &&&;
2008-11-13 haftmann 2008-11-13 improved handling of !!/==> for eval and normalization
2008-10-28 ballarin 2008-10-28 Removed 'includes meta_term_syntax' and 'includes meta_conjunction_syntax'.
2008-10-24 haftmann 2008-10-24 simplified syntax for class parameters
2008-10-10 haftmann 2008-10-10 `code func` now just `code`
2008-10-09 haftmann 2008-10-09 established canonical argument order in SML code generators
2008-10-07 haftmann 2008-10-07 corrected SML undefined
2008-09-29 haftmann 2008-09-29 polished code generator setup
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