src/Pure/Isar/method.ML
Thu, 03 Aug 2006 17:30:43 +0200 wenzelm moved bires_inst_tac etc. to rule_insts.ML;
Wed, 02 Aug 2006 22:26:41 +0200 wenzelm normalized Proof.context/method type aliases;
Thu, 27 Jul 2006 13:43:01 +0200 wenzelm moved basic assumption operations from structure ProofContext to Assumption;
Wed, 12 Jul 2006 21:19:24 +0200 wenzelm removed duplicate of Tactic.make_elim_preserve;
Thu, 06 Jul 2006 17:47:34 +0200 wenzelm added method_i and Source_i;
Mon, 05 Jun 2006 21:54:24 +0200 wenzelm assm_tac: try rule termI;
Thu, 27 Apr 2006 15:06:35 +0200 wenzelm tuned basic list operators (flat, maps, map_filter);
Tue, 21 Mar 2006 12:18:18 +0100 wenzelm moved gen_eq_set to library.ML;
Sat, 04 Mar 2006 21:10:10 +0100 wenzelm text: added SelectGoals;
Wed, 15 Feb 2006 21:34:55 +0100 wenzelm removed distinct, renamed gen_distinct to distinct;
Fri, 10 Feb 2006 02:22:43 +0100 wenzelm syntax: Context.generic;
Mon, 06 Feb 2006 20:59:06 +0100 wenzelm tuned;
Fri, 03 Feb 2006 23:12:28 +0100 wenzelm canonical member/insert/merge;
Tue, 31 Jan 2006 18:19:32 +0100 wenzelm (un)fold: removed '(raw)' option;
Sun, 29 Jan 2006 19:23:48 +0100 wenzelm method (un)folded: option '(raw)';
Sat, 28 Jan 2006 17:28:58 +0100 wenzelm (un)fold: support object-level rewrites;
Sat, 21 Jan 2006 23:02:14 +0100 wenzelm simplified type attribute;
Thu, 19 Jan 2006 21:22:08 +0100 wenzelm setup: theory -> theory;
Tue, 10 Jan 2006 19:33:39 +0100 wenzelm generic attributes;
Thu, 22 Dec 2005 00:29:06 +0100 wenzelm conjunction_tac: single goal;
Fri, 16 Dec 2005 09:00:11 +0100 haftmann re-arranged tuples (theory * 'a) to ('a * theory) in Pure
Wed, 30 Nov 2005 22:52:49 +0100 wenzelm method 'fact': SIMPLE_METHOD, i.e. insert facts;
Tue, 22 Nov 2005 19:34:47 +0100 wenzelm moved multi_resolve(s) to drule.ML;
Thu, 10 Nov 2005 20:57:11 +0100 wenzelm renamed Thm.cgoal_of to Thm.cprem_of;
Fri, 28 Oct 2005 22:28:11 +0200 wenzelm added fact method;
Sat, 15 Oct 2005 00:08:06 +0200 wenzelm added primitive_text, succeed_text;
Tue, 04 Oct 2005 19:01:37 +0200 wenzelm minor tweaks for Poplog/ML;
Thu, 22 Sep 2005 23:43:55 +0200 nipkow renamed "rules" to "iprover"
Tue, 20 Sep 2005 08:21:49 +0200 haftmann slight adaptions to library changes
Thu, 15 Sep 2005 17:16:56 +0200 wenzelm TableFun/Symtab: curried lookup and update;
less more (0) -100 -50 -30 tip