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