Mon, 27 Nov 2006 13:42:30 +0100 | haftmann | adjusted syntax for internal code generation | file | diff | annotate |
Tue, 31 Oct 2006 14:58:12 +0100 | haftmann | adapted to new serializer syntax | file | diff | annotate |
Tue, 19 Sep 2006 15:21:52 +0200 | haftmann | added some stuff for code generation 2 | file | diff | annotate |
Fri, 23 Sep 2005 16:05:42 +0200 | nipkow | rules -> iprover | file | diff | annotate |
Thu, 25 Aug 2005 16:13:09 +0200 | berghofe | Adapted to new code generator syntax. | file | diff | annotate |
Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
Wed, 13 Oct 2004 07:40:13 +0200 | nipkow | mod becuase of chnage in induct | file | diff | annotate |
Mon, 28 Apr 2003 10:33:57 +0200 | berghofe | Converted main proof to Isar. | file | diff | annotate |
Sun, 21 Jul 2002 15:44:42 +0200 | berghofe | Examples for program extraction in HOL. | file | diff | annotate |