src/HOL/ex/Codegenerator_Pretty.thy
Mon, 16 Feb 2009 13:38:09 +0100 haftmann dropped Id
Wed, 22 Oct 2008 14:15:45 +0200 haftmann code identifier namings are no longer imperative
Fri, 10 Oct 2008 06:45:53 +0200 haftmann `code func` now just `code`
Tue, 23 Sep 2008 18:11:42 +0200 haftmann renamed rtype to typerep
Tue, 16 Sep 2008 16:13:09 +0200 haftmann a sophisticated char/nibble conversion combinator
Tue, 16 Sep 2008 09:21:24 +0200 haftmann evaluation using code generator
Fri, 28 Mar 2008 22:01:03 +0100 haftmann dropped now superfluous ad-hoc adaption
Thu, 27 Mar 2008 19:04:40 +0100 haftmann circumventing merge problem
Thu, 31 Jan 2008 11:47:12 +0100 haftmann temporary adjustions
Fri, 25 Jan 2008 14:53:56 +0100 haftmann distinguished examples for Efficient_Nat.thy
Mon, 21 Jan 2008 08:43:33 +0100 haftmann proper meaningful examples
Thu, 13 Dec 2007 07:09:04 +0100 haftmann added div/mod examples
Thu, 06 Sep 2007 11:32:28 +0200 berghofe Integrated Executable_Rat and Executable_Real theories into
Mon, 20 Aug 2007 18:07:49 +0200 haftmann renamed code_gen to export_code
Mon, 13 Aug 2007 21:22:37 +0200 haftmann renamed keyword "to" to "module_name"
Thu, 09 Aug 2007 15:52:45 +0200 haftmann tuned
less more (0) tip