src/HOL/Code_Setup.thy
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