| Mon, 16 Apr 2012 21:53:11 +0200 |
wenzelm |
updated and clarified OF/MRS;
|
file |
diff |
annotate
|
| Sun, 15 Apr 2012 14:50:09 +0200 |
wenzelm |
some coverage of bundled declarations;
|
file |
diff |
annotate
|
| Thu, 02 Feb 2012 17:52:16 +0100 |
wenzelm |
discontinued obscure history commands;
|
file |
diff |
annotate
|
| Wed, 25 Jan 2012 21:14:00 +0100 |
wenzelm |
tuned ML infixes;
|
file |
diff |
annotate
|
| Thu, 13 Oct 2011 13:49:55 +0200 |
noschinl |
tuned markup
|
file |
diff |
annotate
|
| Mon, 03 Oct 2011 11:14:19 +0200 |
wenzelm |
some amendments due to Jean Pichon;
|
file |
diff |
annotate
|
| Tue, 20 Sep 2011 05:47:11 +0200 |
nipkow |
New proof method "induction" that gives induction hypotheses the name IH.
|
file |
diff |
annotate
|
| Fri, 12 Aug 2011 17:01:30 +0200 |
nipkow |
documented extended version of case_names attribute
|
file |
diff |
annotate
|
| Fri, 01 Jul 2011 19:42:07 +0200 |
noschinl |
cover induct's "arbitrary" more deeply
|
file |
diff |
annotate
|
| Sun, 15 May 2011 17:06:35 +0200 |
wenzelm |
optional description for 'attribute_setup' and 'method_setup';
|
file |
diff |
annotate
|
| Thu, 05 May 2011 23:23:02 +0200 |
wenzelm |
tuned some syntax names;
|
file |
diff |
annotate
|
| Thu, 05 May 2011 23:15:11 +0200 |
wenzelm |
tuned rail diagrams and layout;
|
file |
diff |
annotate
|
| Tue, 03 May 2011 15:07:36 +0200 |
wenzelm |
formal Base theory;
|
file |
diff |
annotate
|
| Mon, 02 May 2011 20:34:34 +0200 |
wenzelm |
eliminated some duplicate "def" positions;
|
file |
diff |
annotate
|
| Mon, 02 May 2011 17:06:40 +0200 |
wenzelm |
more precise rail diagrams;
|
file |
diff |
annotate
|