Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
Fri, 11 Jul 2003 14:57:00 +0200 | berghofe | Added generator for test case generators. | file | diff | annotate |
Mon, 16 Dec 2002 11:18:35 +0100 | berghofe | Code generator for datatypes now also generates suitable term_of functions (when | file | diff | annotate |
Thu, 14 Feb 2002 20:30:49 +0100 | wenzelm | made MLWorks happy; | file | diff | annotate |
Mon, 21 Jan 2002 14:43:38 +0100 | berghofe | datatype_codegen now checks type of constructor. | file | diff | annotate |
Mon, 10 Dec 2001 15:31:30 +0100 | berghofe | Tuned header. | file | diff | annotate |
Mon, 10 Dec 2001 15:30:18 +0100 | berghofe | Code generator for datatypes. | file | diff | annotate |