src/ZF/Tools/ind_cases.ML
Fri, 19 Jan 2007 22:08:08 +0100 wenzelm moved parts of OuterParse to SpecParse;
Mon, 18 Dec 2006 08:21:35 +0100 haftmann switched argument order in *.syntax lifters
Mon, 09 Oct 2006 02:20:09 +0200 wenzelm PureThy.note_thmss_i;
Sat, 05 Aug 2006 14:52:57 +0200 wenzelm tuned;
Fri, 27 Jan 2006 19:03:02 +0100 wenzelm moved theorem tags from Drule to PureThy;
Sat, 21 Jan 2006 23:02:14 +0100 wenzelm simplified type attribute;
Thu, 19 Jan 2006 21:22:08 +0100 wenzelm setup: theory -> theory;
Sat, 14 Jan 2006 17:14:06 +0100 wenzelm sane ERROR handling;
Fri, 16 Dec 2005 09:00:11 +0100 haftmann re-arranged tuples (theory * 'a) to ('a * theory) in Pure
Thu, 15 Sep 2005 17:16:56 +0200 wenzelm TableFun/Symtab: curried lookup and update;
Thu, 01 Sep 2005 22:15:12 +0200 wenzelm curried_lookup/update;
Tue, 16 Aug 2005 13:42:26 +0200 wenzelm OuterKeyword;
Fri, 17 Jun 2005 18:33:05 +0200 wenzelm accomodate change of TheoryDataFun;
Wed, 13 Apr 2005 18:45:25 +0200 wenzelm *** MESSAGE REFERS TO PREVIOUS VERSION ***
Wed, 13 Apr 2005 18:34:22 +0200 wenzelm *** empty log message ***
Sun, 13 Feb 2005 17:15:14 +0100 skalberg Deleted Library.option type.
Sun, 11 Jul 2004 20:33:22 +0200 wenzelm local_cla/simpset_of;
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Tue, 12 Feb 2002 20:28:27 +0100 wenzelm got rid of explicit marginal comments (now stripped earlier from input);
Fri, 11 Jan 2002 00:35:03 +0100 wenzelm IsarThy.theorems_i;
Sat, 29 Dec 2001 18:35:27 +0100 wenzelm 'inductive_cases': support 'and' form;
Wed, 28 Nov 2001 00:46:26 +0100 wenzelm theory data: removed obsolete finish method;
Tue, 13 Nov 2001 22:20:15 +0100 wenzelm Generic inductive cases facility for (co)inductive definitions.
less more (0) tip