Sun, 15 May 2011 20:50:22 +0200 wenzelm only show relevant timing;
Sun, 15 May 2011 20:38:08 +0200 wenzelm timing of Theory_Data operations, with implicit thread positions when functor is applied;
Sun, 15 May 2011 19:19:26 +0200 wenzelm tuned;
Sun, 15 May 2011 18:59:27 +0200 wenzelm eliminated obsolete "assert" function, including divergent (unused!?) clone in Predicate_Compile_Proof;
Sun, 15 May 2011 18:00:08 +0200 wenzelm NEWS (cf. 4e8483cc2cc5);
Sun, 15 May 2011 17:45:53 +0200 wenzelm simplified/unified method_setup/attribute_setup;
Sun, 15 May 2011 17:06:35 +0200 wenzelm optional description for 'attribute_setup' and 'method_setup';
Sun, 15 May 2011 16:40:24 +0200 wenzelm tuned signature;
Sat, 14 May 2011 22:00:24 +0200 wenzelm merged
Sat, 14 May 2011 21:42:17 +0200 wenzelm slightly more efficient claset operations, using Item_Net to maintain rules in canonical order;
Sat, 14 May 2011 18:26:25 +0200 haftmann use pointfree characterisation for fold_set locale
Sat, 14 May 2011 18:29:06 +0200 wenzelm discontinued global config options within attribute name space;
Sat, 14 May 2011 17:55:08 +0200 wenzelm more precise warnings: observe context visibility;
Sat, 14 May 2011 16:27:47 +0200 wenzelm modernized structure Rule_Insts;
Sat, 14 May 2011 16:22:53 +0200 wenzelm discontinued old / unused addss' (cf. 57f364d1d3b2);
Sat, 14 May 2011 16:12:42 +0200 wenzelm eliminated global Unsynchronized.ref;
Sat, 14 May 2011 16:03:28 +0200 wenzelm proper runtime context for auto_inv_tac;
Sat, 14 May 2011 13:32:33 +0200 wenzelm simplified BLAST_DATA;
Sat, 14 May 2011 13:26:55 +0200 wenzelm proper Proof.context -- eliminated global operations;
Sat, 14 May 2011 12:40:11 +0200 wenzelm just one universal Proof.context -- discontinued claset/clasimpset;
Sat, 14 May 2011 11:42:43 +0200 wenzelm modernized functor names;
Sat, 14 May 2011 00:32:16 +0200 wenzelm method "deepen" with optional limit;
Fri, 13 May 2011 23:59:48 +0200 wenzelm merged
Fri, 13 May 2011 21:36:01 +0200 krauss removed redundant type annotations and duplicate examples
Fri, 13 May 2011 23:58:40 +0200 wenzelm clarified map_simpset versus Simplifier.map_simpset_global;
Fri, 13 May 2011 23:24:06 +0200 wenzelm make ZF_cs snapshot after final setup;
Fri, 13 May 2011 22:55:00 +0200 wenzelm proper Proof.context for classical tactics;
Fri, 13 May 2011 16:03:03 +0200 wenzelm do not open ML structures;
Fri, 13 May 2011 15:55:32 +0200 wenzelm eliminated weight_ASTAR: int Unsynchronized.ref (astar_tac appears to be obsolete anyway);
Fri, 13 May 2011 15:47:54 +0200 wenzelm misc tuning and simplification;
Fri, 13 May 2011 14:39:55 +0200 wenzelm tuned proof;
Fri, 13 May 2011 14:26:51 +0200 wenzelm tuned proof;
Fri, 13 May 2011 14:25:35 +0200 wenzelm proper method_setup;
Fri, 13 May 2011 14:16:46 +0200 wenzelm proper method_setup "split_idle";
Fri, 13 May 2011 14:04:47 +0200 wenzelm proper method_setup "enabled";
Fri, 13 May 2011 13:45:20 +0200 wenzelm simplified clasimpset declarations -- prefer attributes;
Fri, 13 May 2011 10:10:44 +0200 blanchet reduce the number of mono iterations to prevent the mono code from going berserk
Fri, 13 May 2011 10:10:43 +0200 blanchet tuned comment
Fri, 13 May 2011 10:10:43 +0200 blanchet optimized a common case
Fri, 13 May 2011 10:10:43 +0200 blanchet avoid "UnequalLengths" exception for special constant "fequal" -- and optimize code in the common case where no type arguments are needed
Fri, 13 May 2011 10:10:43 +0200 blanchet tweak E slices
Fri, 13 May 2011 10:10:43 +0200 blanchet make SML/NJ happy
Fri, 13 May 2011 10:10:43 +0200 blanchet fixed off-by-one bug
Fri, 13 May 2011 10:10:43 +0200 blanchet added convenience syntax
Thu, 12 May 2011 23:23:48 +0200 wenzelm prefer Proof.context over old-style claset/simpset;
Thu, 12 May 2011 22:46:21 +0200 wenzelm prefer plain simpset operations;
Thu, 12 May 2011 22:37:31 +0200 wenzelm removed obsolete old-style cs/css;
Thu, 12 May 2011 22:35:15 +0200 wenzelm modernized dead code;
Thu, 12 May 2011 22:33:38 +0200 wenzelm eliminated old-style MI_fast_css -- replaced by fast_solver with config option;
Thu, 12 May 2011 22:11:16 +0200 wenzelm eliminated obsolete MI_css -- use current context directly;
Thu, 12 May 2011 22:07:30 +0200 wenzelm proper method_setup;
Thu, 12 May 2011 21:14:03 +0200 wenzelm modernized simproc_setup;
Thu, 12 May 2011 18:18:06 +0200 wenzelm prefer Proof.context over old-style clasimpset;
Thu, 12 May 2011 18:17:32 +0200 wenzelm modernized dead code;
Thu, 12 May 2011 17:17:57 +0200 wenzelm modernized specifications;
Thu, 12 May 2011 16:58:55 +0200 wenzelm merged
Thu, 12 May 2011 16:48:23 +0200 blanchet added hints and FAQs
Thu, 12 May 2011 15:29:19 +0200 blanchet prove one more lemma using Sledgehammer, with some guidance, and replace clumsy old proof that relied on old extensionality behavior
Thu, 12 May 2011 15:29:19 +0200 blanchet fixed several bugs in Isar proof reconstruction, in particular w.r.t. mangled types and hAPP
Thu, 12 May 2011 15:29:19 +0200 blanchet another concession to backward compatibility
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip