src/HOL/Tools/datatype_codegen.ML
Thu, 14 Feb 2002 20:30:49 +0100 wenzelm made MLWorks happy;
Mon, 21 Jan 2002 14:43:38 +0100 berghofe datatype_codegen now checks type of constructor.
Mon, 10 Dec 2001 15:31:30 +0100 berghofe Tuned header.
Mon, 10 Dec 2001 15:30:18 +0100 berghofe Code generator for datatypes.
less more (0) tip