src/Pure/Isar/attrib.ML
Fri, 31 Mar 2000 21:54:50 +0200 wenzelm added add_del_args;
Fri, 17 Mar 2000 16:28:59 +0100 wenzelm untag: remove all tags of given name;
Wed, 08 Mar 2000 17:52:38 +0100 wenzelm added 'case_names' and 'params';
Tue, 22 Feb 2000 21:51:25 +0100 wenzelm tuned syntax wrapper;
Fri, 28 Jan 2000 21:55:43 +0100 wenzelm Drule.instantiate;
Fri, 01 Oct 1999 18:36:12 +0200 wenzelm added undef_global_attribute, undef_local_attribute;
Thu, 30 Sep 1999 23:31:13 +0200 wenzelm removed ProofContext.declare_thm;
Sun, 26 Sep 1999 16:39:54 +0200 wenzelm help: unkown theory context;
Sat, 25 Sep 1999 13:06:59 +0200 wenzelm unfold / fold defs;
Thu, 26 Aug 1999 19:01:58 +0200 wenzelm print_help;
Fri, 09 Jul 1999 18:44:58 +0200 wenzelm COMP: optional position;
Thu, 08 Jul 1999 18:35:11 +0200 wenzelm 'export';
Thu, 01 Jul 1999 21:19:45 +0200 wenzelm renamed with/APP to of/OF;
Mon, 28 Jun 1999 21:41:02 +0200 wenzelm cond_extern_table;
Fri, 04 Jun 1999 19:53:57 +0200 wenzelm added COMP attribute;
Fri, 30 Apr 1999 18:01:11 +0200 wenzelm theory data: copy;
Fri, 16 Apr 1999 17:48:46 +0200 wenzelm and_list;
Tue, 12 Jan 1999 13:40:08 +0100 wenzelm eliminated tthm type and Attribute structure;
Tue, 17 Nov 1998 14:11:38 +0100 wenzelm exception ATTRIB_FAIL;
Mon, 16 Nov 1998 11:32:54 +0100 wenzelm made SML/NJ happy;
Mon, 16 Nov 1998 11:03:35 +0100 wenzelm several args parsers;
Mon, 09 Nov 1998 15:32:20 +0100 wenzelm Symbolic theorem attributes.
less more (0) tip