Sun, 17 Oct 2010 20:25:36 +0100 |
wenzelm |
use continental paragraph style, which works better with mixture of (in)formal text;
|
file |
diff |
annotate
|
Fri, 15 Oct 2010 19:54:34 +0100 |
wenzelm |
more examples;
|
file |
diff |
annotate
|
Thu, 14 Oct 2010 21:55:21 +0100 |
wenzelm |
more on "Attributes";
|
file |
diff |
annotate
|
Thu, 14 Oct 2010 21:05:21 +0100 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
Wed, 13 Oct 2010 21:57:21 +0100 |
wenzelm |
more on "Proof methods";
|
file |
diff |
annotate
|
Wed, 13 Oct 2010 13:05:23 +0100 |
wenzelm |
examples in Isabelle/HOL;
|
file |
diff |
annotate
|
Wed, 13 Oct 2010 11:15:15 +0100 |
wenzelm |
more on Proof.theorem;
|
file |
diff |
annotate
|
Wed, 13 Oct 2010 10:52:15 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 12 Oct 2010 21:18:05 +0100 |
wenzelm |
more examples;
|
file |
diff |
annotate
|
Tue, 12 Oct 2010 20:03:31 +0100 |
wenzelm |
more on "Isar language elements";
|
file |
diff |
annotate
|
Thu, 05 Mar 2009 02:27:54 +0100 |
wenzelm |
regenerated document;
|
file |
diff |
annotate
|
Thu, 05 Mar 2009 02:20:06 +0100 |
wenzelm |
dummy changes to produce a new changeset of these files;
|
file |
diff |
annotate
|
Mon, 16 Feb 2009 21:23:34 +0100 |
wenzelm |
removed rudiments of glossary;
|
file |
diff |
annotate
|
Mon, 16 Feb 2009 20:47:44 +0100 |
wenzelm |
observe usual theory naming conventions;
|
file |
diff |
annotate
| base
|