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
|
Mon, 12 Jan 1998 17:49:12 +0100 |
wenzelm |
updated to Isabelle98;
|
file |
diff |
annotate
|
Fri, 02 Jan 1998 11:59:06 +0100 |
paulson |
Auto_tac now has type tactic, not unit->tactic
|
file |
diff |
annotate
|
Fri, 12 Dec 1997 17:23:01 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 27 Nov 1997 19:39:02 +0100 |
wenzelm |
several minor updates;
|
file |
diff |
annotate
|
Mon, 29 Sep 1997 11:31:13 +0200 |
paulson |
Safe_tac, Safe_step_tac, and minor corrections including \tt -> \texttt
|
file |
diff |
annotate
|