| 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
|
| Thu, 13 Nov 2008 21:37:18 +0100 |
wenzelm |
moved section "Proof method expressions" to proof chapter;
|
file |
diff |
annotate
|
| Tue, 10 Jun 2008 23:45:51 +0200 |
wenzelm |
* Attributes cases, induct, coinduct support del option.
|
file |
diff |
annotate
|
| Tue, 10 Jun 2008 16:43:07 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|