| Wed, 06 Dec 2017 20:43:09 +0100 |
wenzelm |
prefer control symbol antiquotations;
|
file |
diff |
annotate
|
| Mon, 23 May 2016 21:30:30 +0200 |
wenzelm |
embedded content may be delimited via cartouches;
|
file |
diff |
annotate
|
| Wed, 08 Jul 2015 19:28:43 +0200 |
wenzelm |
Variable.focus etc.: optional bindings provided by user;
|
file |
diff |
annotate
|
| Sat, 28 Mar 2015 20:22:10 +0100 |
wenzelm |
clarified goal context;
|
file |
diff |
annotate
|
| Sat, 28 Mar 2015 19:53:45 +0100 |
wenzelm |
clarified goal context;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2015 19:51:05 +0100 |
wenzelm |
proper Rule_Insts.read_term, e.g. to enable case_tac using "_";
|
file |
diff |
annotate
|
| Fri, 27 Mar 2015 17:46:08 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 24 Mar 2015 21:54:25 +0100 |
wenzelm |
clarified case_tac fixes and context;
|
file |
diff |
annotate
|
| Tue, 24 Mar 2015 11:53:18 +0100 |
wenzelm |
clarified input source;
|
file |
diff |
annotate
|
| Mon, 23 Mar 2015 13:30:59 +0100 |
wenzelm |
support 'for' fixes in rule_tac etc.;
|
file |
diff |
annotate
|
| Fri, 20 Mar 2015 14:48:04 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 19 Mar 2015 22:30:57 +0100 |
wenzelm |
more position information;
|
file |
diff |
annotate
|
| Wed, 29 Oct 2014 19:01:49 +0100 |
wenzelm |
modernized setup;
|
file |
diff |
annotate
|
| Mon, 24 Feb 2014 13:16:50 +0100 |
wenzelm |
tuned messages -- prefer quote before Position.here, which might be just \<here>;
|
file |
diff |
annotate
|
| Wed, 22 Jan 2014 16:03:11 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 14 Dec 2013 17:28:05 +0100 |
wenzelm |
proper context for basic Simplifier operations: rewrite_rule, rewrite_goals_rule, rewrite_goals_tac etc.;
|
file |
diff |
annotate
|
| Wed, 29 Aug 2012 11:48:45 +0200 |
wenzelm |
renamed Position.str_of to Position.here;
|
file |
diff |
annotate
|
| Fri, 09 Mar 2012 20:04:19 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 08 Mar 2012 17:47:51 +0100 |
wenzelm |
more precise warning/error positions;
|
file |
diff |
annotate
|
| Wed, 12 Oct 2011 22:48:23 +0200 |
wenzelm |
modernized structure Induct_Tacs;
|
file |
diff |
annotate
|
| Sat, 16 Apr 2011 16:15:37 +0200 |
wenzelm |
modernized structure Proof_Context;
|
file |
diff |
annotate
|
| Fri, 26 Nov 2010 22:29:41 +0100 |
wenzelm |
make two copies (!) of Library.UnequalLengths coincide with ListPair.UnequalLengths;
|
file |
diff |
annotate
|
| Mon, 17 May 2010 23:54:15 +0200 |
wenzelm |
prefer structure Keyword, Parse, Parse_Spec, Outer_Syntax;
|
file |
diff |
annotate
|
| Sun, 07 Mar 2010 12:19:47 +0100 |
wenzelm |
modernized structure Object_Logic;
|
file |
diff |
annotate
|
| Wed, 25 Nov 2009 09:13:46 +0100 |
haftmann |
normalized uncurry take/drop
|
file |
diff |
annotate
|
| Tue, 24 Nov 2009 17:28:25 +0100 |
haftmann |
curried take/drop
|
file |
diff |
annotate
|
| Sun, 01 Nov 2009 15:24:45 +0100 |
wenzelm |
modernized structure Rule_Cases;
|
file |
diff |
annotate
|
| Fri, 02 Oct 2009 23:15:36 +0200 |
wenzelm |
eliminated dead code;
|
file |
diff |
annotate
|
| Sun, 15 Mar 2009 20:25:58 +0100 |
wenzelm |
simplified method setup;
|
file |
diff |
annotate
|
| Sat, 28 Feb 2009 14:09:58 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| Mon, 22 Sep 2008 08:00:24 +0200 |
haftmann |
fixed headers
|
file |
diff |
annotate
|
| Fri, 15 Aug 2008 15:50:44 +0200 |
wenzelm |
Args.name_source(_position) for proper position information;
|
file |
diff |
annotate
|
| Sat, 09 Aug 2008 22:43:46 +0200 |
wenzelm |
unified Args.T with OuterLex.token, renamed some operations;
|
file |
diff |
annotate
|
| Mon, 23 Jun 2008 19:00:24 +0200 |
wenzelm |
induct_tac: allow omission of arguments;
|
file |
diff |
annotate
|
| Mon, 23 Jun 2008 15:51:38 +0200 |
wenzelm |
moved src/HOL/Tools/induct_tacs.ML to src/Tools/induct_tacs.ML;
|
file |
diff |
annotate
|