src/HOL/Tools/inductive_codegen.ML
Tue, 07 May 2002 14:26:32 +0200 wenzelm use eq_thm_prop instead of slightly inadequate eq_thm;
Thu, 07 Mar 2002 12:03:43 +0100 berghofe - made modes_of more robust
Thu, 20 Dec 2001 17:08:55 +0100 berghofe Eliminated "query" syntax.
Thu, 20 Dec 2001 15:23:42 +0100 berghofe Fixed bug in function add.
Thu, 20 Dec 2001 14:58:18 +0100 berghofe Implemented higher order modes.
Mon, 10 Dec 2001 15:40:55 +0100 berghofe - Changed type of invoke_codegen
Fri, 31 Aug 2001 18:46:48 +0200 wenzelm tuned headers;
Fri, 31 Aug 2001 16:49:06 +0200 berghofe New code generators for HOL.
less more (0) tip