src/ZF/Tools/primrec_package.ML
Thu, 15 Nov 2001 18:15:32 +0100 wenzelm avoid handle _;
Wed, 14 Nov 2001 23:18:37 +0100 wenzelm fix path prefix;
Wed, 14 Nov 2001 18:46:30 +0100 wenzelm adapted primrec/datatype to Isar;
Thu, 13 Jul 2000 23:20:57 +0200 wenzelm adapted PureThy.add_defs_i;
Wed, 28 Jun 2000 12:16:36 +0200 paulson no longer depends upon a prior "open Ind_Syntax" from elsewhere
Fri, 05 May 2000 22:37:04 +0200 wenzelm use Sign.simple_read_term;
Mon, 13 Mar 2000 13:28:31 +0100 wenzelm adapted to new PureThy.add_thms etc.;
Thu, 21 Oct 1999 18:45:31 +0200 wenzelm proper handling of axioms / defs;
Tue, 19 Jan 1999 11:18:11 +0100 paulson removal of the (thm list) argument of mk_cases
Tue, 12 Jan 1999 13:54:51 +0100 wenzelm eliminated tthm type and Attribute structure;
Wed, 06 Jan 1999 13:24:33 +0100 paulson induct_tac and exhaust_tac
Mon, 28 Dec 1998 16:57:38 +0100 paulson new primrec package
less more (0) tip