src/HOL/Code_Setup.thy
Tue, 10 Jun 2008 15:30:06 +0200 haftmann major refactorings in code generator modules
Fri, 23 May 2008 16:41:39 +0200 berghofe Replaced Pretty.str and Pretty.string_of by specific functions (from Codegen) that
Fri, 25 Jan 2008 14:53:55 +0100 haftmann clarified setup of method "normalization"
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