src/HOL/ex/CodeRandom.thy
Mon, 18 Dec 2006 08:21:32 +0100 haftmann dropped debug cmd
Mon, 27 Nov 2006 13:42:30 +0100 haftmann adjusted syntax for internal code generation
Fri, 17 Nov 2006 02:20:03 +0100 wenzelm more robust syntax for definition/abbreviation/notation;
Mon, 06 Nov 2006 16:28:33 +0100 haftmann added state monad to HOL library
Tue, 31 Oct 2006 14:58:12 +0100 haftmann adapted to new serializer syntax
Tue, 31 Oct 2006 09:28:56 +0100 haftmann adapted to new serializer syntax
Mon, 11 Sep 2006 21:35:19 +0200 wenzelm induct method: renamed 'fixing' to 'arbitrary';
Fri, 01 Sep 2006 08:36:51 +0200 haftmann final syntax for some Isar code generator keywords
Wed, 23 Aug 2006 17:05:08 +0200 haftmann SML/NJ int type fix
Mon, 21 Aug 2006 11:02:39 +0200 haftmann added some codegen examples/applications
less more (0) tip