| Mon, 16 Mar 2009 17:51:07 +0100 |
wenzelm |
simplifief 'method_setup' command;
|
file |
diff |
annotate
|
| Fri, 13 Mar 2009 19:58:26 +0100 |
wenzelm |
unified type Proof.method and pervasive METHOD combinators;
|
file |
diff |
annotate
|
| Thu, 12 Mar 2009 00:02:03 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 04 Mar 2009 11:05:29 +0100 |
blanchet |
Merge.
|
file |
diff |
annotate
|
| Wed, 04 Mar 2009 10:45:52 +0100 |
blanchet |
Merge.
|
file |
diff |
annotate
|
| Sat, 28 Feb 2009 16:48:27 +0100 |
wenzelm |
moved method "iprover" to HOL specific part;
|
file |
diff |
annotate
|
| Sun, 15 Feb 2009 18:54:00 +0100 |
wenzelm |
added label;
|
file |
diff |
annotate
|
| Sun, 15 Feb 2009 18:11:35 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 11 Feb 2009 21:38:03 +0100 |
wenzelm |
tuned formal markup;
|
file |
diff |
annotate
|
| Thu, 20 Nov 2008 00:03:47 +0100 |
wenzelm |
Pure syntax: more coherent treatment of aprop, permanent TERM and &&&;
|
file |
diff |
annotate
|
| Tue, 18 Nov 2008 18:25:10 +0100 |
wenzelm |
moved table of standard Isabelle symbols to isar-ref manual;
|
file |
diff |
annotate
|
| Thu, 13 Nov 2008 21:45:40 +0100 |
wenzelm |
updated/refined types of Isar language elements, removed special LaTeX macros;
|
file |
diff |
annotate
|
| Thu, 13 Nov 2008 21:43:46 +0100 |
wenzelm |
unified use of declaration environment with IsarImplementation;
|
file |
diff |
annotate
|
| Thu, 13 Nov 2008 21:40:00 +0100 |
wenzelm |
tuned section "Incorporating ML code";
|
file |
diff |
annotate
|
| Thu, 13 Nov 2008 21:38:02 +0100 |
wenzelm |
tuned section arrangement;
|
file |
diff |
annotate
|