Wed, 23 May 2012 16:22:27 +0200 |
wenzelm |
discontinued obsolete method fastsimp / tactic fast_simp_tac;
|
file |
diff |
annotate
|
Sun, 06 Nov 2011 21:51:46 +0100 |
wenzelm |
more explicit representation of rule_attribute vs. declaration_attribute vs. mixed_attribute;
|
file |
diff |
annotate
|
Mon, 12 Sep 2011 07:55:43 +0200 |
nipkow |
new fastforce replacing fastsimp - less confusing name
|
file |
diff |
annotate
|
Thu, 09 Jun 2011 22:13:21 +0200 |
wenzelm |
clarified raw_blast, which is not really a tactic since it operates directly on subgoal 1 without bounds check (cf. c46107e6714b);
|
file |
diff |
annotate
|
Sat, 14 May 2011 16:22:53 +0200 |
wenzelm |
discontinued old / unused addss' (cf. 57f364d1d3b2);
|
file |
diff |
annotate
|
Fri, 13 May 2011 22:55:00 +0200 |
wenzelm |
proper Proof.context for classical tactics;
|
file |
diff |
annotate
|
Fri, 13 May 2011 13:45:20 +0200 |
wenzelm |
simplified clasimpset declarations -- prefer attributes;
|
file |
diff |
annotate
|
Tue, 26 Apr 2011 21:55:11 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 26 Apr 2011 21:49:39 +0200 |
wenzelm |
modernized Clasimp setup;
|
file |
diff |
annotate
|
Sat, 16 Apr 2011 23:41:58 +0200 |
wenzelm |
PARALLEL_GOALS for simplification within auto_tac;
|
file |
diff |
annotate
|
Mon, 05 Jul 2010 14:21:30 +0100 |
paulson |
Unification (flexflex) bug fix; making "auto" deterministic
|
file |
diff |
annotate
|
Mon, 17 May 2010 23:54:15 +0200 |
wenzelm |
prefer structure Keyword, Parse, Parse_Spec, Outer_Syntax;
|
file |
diff |
annotate
|
Fri, 30 Apr 2010 23:40:14 +0200 |
wenzelm |
map_css: explicitly provide a temporary context, which might be required for mksimps, mkcongs etc.;
|
file |
diff |
annotate
|
Sat, 06 Mar 2010 15:39:16 +0100 |
wenzelm |
eliminated Args.bang_facts (legacy feature);
|
file |
diff |
annotate
|
Sun, 01 Nov 2009 15:44:26 +0100 |
wenzelm |
modernized structure Context_Rules;
|
file |
diff |
annotate
|