src/HOL/Code_Setup.thy
Tue, 15 Jan 2008 16:19:19 +0100 haftmann explicit code lemma for implication
Thu, 10 Jan 2008 19:09:21 +0100 berghofe New interface for test data generators.
Tue, 08 Jan 2008 11:37:37 +0100 haftmann normalization conversion
Tue, 08 Jan 2008 10:24:34 +0100 berghofe imp_conv_disj is now declared as a "code unfold" lemma to avoid that
Wed, 05 Dec 2007 14:15:45 +0100 haftmann simplified infrastructure for code generator operational equality
Thu, 04 Oct 2007 19:54:44 +0200 haftmann certificates for code generator case expressions
Thu, 04 Oct 2007 19:41:49 +0200 haftmann clarified relationship of code generator conversions and evaluations
Tue, 28 Aug 2007 18:26:48 +0200 berghofe Smaller size and fewer iterations for quickcheck.
Thu, 16 Aug 2007 11:45:06 +0200 haftmann fixed codegen setup
Wed, 15 Aug 2007 09:02:11 +0200 haftmann added Code_Setup
less more (0) tip