src/HOL/Tools/recdef_package.ML
Thu, 19 Oct 2000 01:47:50 +0200 wenzelm added tcs_of;
Tue, 19 Sep 2000 23:52:00 +0200 wenzelm tuned;
Fri, 15 Sep 2000 20:22:36 +0200 wenzelm added "congs" keyword;
Fri, 15 Sep 2000 19:34:28 +0200 wenzelm "hints" made keyword again;
Wed, 13 Sep 2000 22:28:50 +0200 wenzelm tuned recdef hints;
Thu, 07 Sep 2000 20:51:07 +0200 wenzelm tuned msg;
Wed, 06 Sep 2000 19:01:37 +0200 wenzelm make SML/NJ happy;
Wed, 06 Sep 2000 16:54:12 +0200 wenzelm tuned;
Tue, 05 Sep 2000 18:49:26 +0200 wenzelm recdef hints (attributes and modifiers);
Fri, 18 Aug 2000 18:06:10 +0200 wenzelm removed obsolete add_recdef_x;
Thu, 17 Aug 2000 18:31:12 +0200 nipkow installed recdef congs data
Tue, 18 Apr 2000 14:54:08 +0200 wenzelm removed obsolete "simpset" keyword;
Thu, 13 Apr 2000 17:49:42 +0200 wenzelm outer syntax: no simps;
Sat, 01 Apr 2000 20:21:39 +0200 wenzelm recdef: admit names/atts;
Thu, 30 Mar 2000 19:47:17 +0200 nipkow If all termination conditions are proved automatically,
Wed, 15 Mar 2000 23:40:59 +0100 berghofe get_recdef now returns None instead of raising ERROR.
Mon, 13 Mar 2000 13:18:59 +0100 wenzelm adapted to new PureThy.add_thms etc.;
Fri, 08 Oct 1999 15:08:23 +0200 wenzelm return stored thms with proper naming in derivation;
Wed, 18 Aug 1999 18:44:20 +0200 paulson from Konrad: support for schematic definitions
Mon, 28 Jun 1999 21:48:36 +0200 wenzelm cond_extern_table;
Tue, 25 May 1999 20:24:10 +0200 wenzelm formal comments (still dummy);
Mon, 24 May 1999 21:57:13 +0200 wenzelm outer syntax keyword classification;
Tue, 04 May 1999 16:18:16 +0200 wenzelm add_recdef: removed names / attributes;
Fri, 30 Apr 1999 18:10:35 +0200 wenzelm peoper defer_recdef interface;
Tue, 27 Apr 1999 10:50:08 +0200 wenzelm proper quiet_mode;
Thu, 22 Apr 1999 12:50:39 +0200 wenzelm add_recdef: actual simpset;
Tue, 20 Apr 1999 15:20:27 +0200 wenzelm temporarily fake quiet_mode;
Fri, 16 Apr 1999 14:49:09 +0200 wenzelm 'HOL/recdef' theory data;
Wed, 14 Apr 1999 19:05:10 +0200 wenzelm Wrapper module for Konrad Slind's TFL package.
less more (0) tip