| Sat, 11 Jun 2011 16:05:17 +0200 |
wenzelm |
cover method "deepen" concisely;
|
file |
diff |
annotate
|
| Sat, 11 Jun 2011 15:36:46 +0200 |
wenzelm |
moved/updated single-step tactics;
|
file |
diff |
annotate
|
| Sun, 05 Jun 2011 22:09:04 +0200 |
wenzelm |
removed somewhat low-level stuff (cf. attribute "swapped" in isar-ref);
|
file |
diff |
annotate
|
| Sun, 05 Jun 2011 22:02:54 +0200 |
wenzelm |
updated and re-unified classical proof methods;
|
file |
diff |
annotate
|
| Sun, 05 Jun 2011 20:15:47 +0200 |
wenzelm |
updated and re-unified classical rule declarations;
|
file |
diff |
annotate
|
| Sat, 04 Jun 2011 22:09:42 +0200 |
wenzelm |
moved/updated introduction to Classical Reasoner;
|
file |
diff |
annotate
|
| Fri, 20 May 2011 14:03:42 +0200 |
wenzelm |
removed some obsolete text;
|
file |
diff |
annotate
|
| Sun, 01 Mar 2009 13:48:17 +0100 |
wenzelm |
removed parts of the manual that are clearly obsolete, or covered by
|
file |
diff |
annotate
|
| Wed, 05 Dec 2001 02:59:15 +0100 |
wenzelm |
removed AddXIs, AddXEs, AddXDs;
|
file |
diff |
annotate
|
| Fri, 23 Feb 2001 16:31:21 +0100 |
oheimb |
renamed addaltern to addafter, addSaltern to addSafter
|
file |
diff |
annotate
|
| Mon, 28 Aug 2000 13:52:38 +0200 |
wenzelm |
proper setup of iman.sty/extra.sty/ttbox.sty;
|
file |
diff |
annotate
|
| Tue, 25 Jul 2000 00:12:50 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 23 Jul 2000 12:01:05 +0200 |
wenzelm |
classical atts now intro! / intro / intro?;
|
file |
diff |
annotate
|
| Tue, 23 May 2000 12:13:45 +0200 |
wenzelm |
improved warning messages;
|
file |
diff |
annotate
|
| Thu, 13 Apr 2000 15:01:45 +0200 |
wenzelm |
fixed ??/?;
|
file |
diff |
annotate
|
| Wed, 23 Feb 2000 10:41:37 +0100 |
paulson |
new reference korf85
|
file |
diff |
annotate
|
| Tue, 18 Jan 2000 11:33:31 +0100 |
paulson |
fixed many bad line & page breaks
|
file |
diff |
annotate
|
| Sun, 31 Oct 1999 20:11:23 +0100 |
wenzelm |
updated;
Isabelle99
|
file |
diff |
annotate
|
| Wed, 05 May 1999 16:44:42 +0200 |
paulson |
Now uses manual.bib; some references updated
|
file |
diff |
annotate
|
| Wed, 03 Feb 1999 13:23:24 +0100 |
paulson |
standard spelling: type-checking
|
file |
diff |
annotate
|
| Fri, 25 Sep 1998 16:21:56 +0200 |
oheimb |
minor corrections
|
file |
diff |
annotate
|
| Fri, 25 Sep 1998 15:57:23 +0200 |
oheimb |
exchanged automatic-tactics and semi-automatic-tactics
|
file |
diff |
annotate
|
| Thu, 24 Sep 1998 16:53:14 +0200 |
oheimb |
introduced addSE2, addSD2, addE2, and addD2
|
file |
diff |
annotate
|
| Mon, 24 Aug 1998 19:12:13 +0200 |
wenzelm |
emacs local vars;
|
file |
diff |
annotate
|
| Fri, 01 May 1998 22:40:20 +0200 |
oheimb |
minor corrections
|
file |
diff |
annotate
|
| Fri, 01 May 1998 19:51:03 +0200 |
oheimb |
corrected and updated description of wrapper mechanism (including addss)
|
file |
diff |
annotate
|
| Fri, 27 Feb 1998 11:21:28 +0100 |
oheimb |
added minimal description of rep_cs: corrections
|
file |
diff |
annotate
|
| Fri, 27 Feb 1998 11:18:29 +0100 |
oheimb |
added minimal description of rep_cs
|
file |
diff |
annotate
|
| Wed, 25 Feb 1998 15:45:32 +0100 |
oheimb |
changed wrapper mechanism of classical reasoner
|
file |
diff |
annotate
|
| Thu, 05 Feb 1998 10:26:59 +0100 |
paulson |
Fixed a lot of overfull and underfull lines (hboxes)
|
file |
diff |
annotate
|