Fri, 10 Oct 1997 19:02:28 +0200 |
wenzelm |
fixed dots;
|
file |
diff |
annotate
|
Tue, 04 Mar 1997 10:21:16 +0100 |
paulson |
Updated reference to Pelletier erratum
|
file |
diff |
annotate
|
Fri, 14 Feb 1997 10:38:48 +0100 |
paulson |
Tidying and a corrected comment
|
file |
diff |
annotate
|
Fri, 31 Jan 1997 17:50:47 +0100 |
paulson |
Correction to Problem 24
|
file |
diff |
annotate
|
Mon, 07 Oct 1996 10:35:47 +0200 |
paulson |
New comment in header
|
file |
diff |
annotate
|
Thu, 26 Sep 1996 12:47:47 +0200 |
paulson |
Ran expandshort
|
file |
diff |
annotate
|
Fri, 03 May 1996 17:40:05 +0200 |
paulson |
updated comments for handling derivations
|
file |
diff |
annotate
|
Thu, 21 Mar 1996 11:13:05 +0100 |
paulson |
Examples call gocls to make goal clauses
|
file |
diff |
annotate
|
Fri, 15 Mar 1996 18:43:33 +0100 |
paulson |
New safe_meson_tac proves some harder theorems
|
file |
diff |
annotate
|
Tue, 30 Jan 1996 15:24:36 +0100 |
clasohm |
expanded tabs
|
file |
diff |
annotate
|
Thu, 14 Dec 1995 12:49:32 +0100 |
paulson |
Added Pelletier's problem 62, as corrected in AAR
|
file |
diff |
annotate
|
Tue, 26 Sep 1995 11:49:55 +0100 |
paulson |
added new example by John Harrison
|
file |
diff |
annotate
|
Wed, 22 Mar 1995 12:42:34 +0100 |
clasohm |
converted ex with curried function application
|
file |
diff |
annotate
|