src/HOL/ex/Codegenerator.thy
Tue, 05 Jun 2007 22:46:53 +0200 wenzelm tuned document;
Sun, 06 May 2007 21:50:17 +0200 haftmann changed code generator invocation syntax
Sat, 10 Feb 2007 09:26:16 +0100 haftmann splut up code generation in two parts
Thu, 28 Dec 2006 16:49:35 +0100 haftmann removed private files
Wed, 27 Dec 2006 19:10:00 +0100 haftmann added OCaml code generation (without dictionaries)
Fri, 22 Dec 2006 15:35:17 +0100 haftmann deactivated test for the moment
Thu, 21 Dec 2006 13:55:12 +0100 haftmann import path made absolute
less more (0) -30 -10 -7 tip