src/Pure/Tools/named_theorems.ML
Tue, 27 Nov 2018 21:07:39 +0100 wenzelm more accurate positions for "name" (quoted string) and "embedded" (cartouche): refer to content without delimiters, which is e.g. relevant for systematic selection/renaming of scope groups;
Mon, 12 Nov 2018 15:14:12 +0100 wenzelm clarified signature;
Thu, 25 Oct 2018 15:41:40 +0200 wenzelm proper completion for @{named_theorems};
Sun, 18 Feb 2018 15:05:21 +0100 wenzelm tuned signature;
Wed, 06 Dec 2017 18:59:33 +0100 wenzelm prefer control symbol antiquotations;
Wed, 06 Dec 2017 15:46:35 +0100 wenzelm more embedded cartouche arguments;
Mon, 04 Apr 2016 17:02:34 +0200 wenzelm clarified bootstrap -- more uniform use of ML files;
Tue, 22 Dec 2015 10:58:05 +0100 wenzelm tuned;
Sun, 30 Aug 2015 13:08:00 +0200 wenzelm trim context for persistent storage;
Mon, 06 Apr 2015 17:06:48 +0200 wenzelm @{command_spec} is superseded by @{command_keyword};
Fri, 03 Apr 2015 20:52:17 +0200 wenzelm check wrt. proper context, e.g. relevant for 'experiment' target;
Tue, 31 Mar 2015 16:47:12 +0200 wenzelm tuned;
Tue, 31 Mar 2015 16:43:49 +0200 wenzelm tuned message;
Sat, 22 Nov 2014 11:36:00 +0100 wenzelm named_theorems: multiple args;
Sun, 17 Aug 2014 16:24:04 +0200 wenzelm made SML/NJ happy;
Wed, 13 Aug 2014 16:06:32 +0200 wenzelm tuned signature -- proper Local_Theory.add_thms_dynamic;
Wed, 13 Aug 2014 14:57:03 +0200 wenzelm transfer result of Global_Theory.add_thms_dynamic to context stack;
Wed, 13 Aug 2014 13:57:55 +0200 wenzelm localized attribute definitions;
Sun, 10 Aug 2014 19:53:30 +0200 wenzelm some localization;
Sun, 10 Aug 2014 16:13:12 +0200 wenzelm support for named collections of theorems in canonical order;
less more (0) tip