Sat, 15 Feb 1997 17:35:53 +0100 |
oheimb |
corrected minor mistakes
|
file |
diff |
annotate
|
Sat, 15 Feb 1997 16:10:00 +0100 |
oheimb |
description of del(eq)congs, safe and unsafe solver
|
file |
diff |
annotate
|
Fri, 14 Feb 1997 10:35:42 +0100 |
paulson |
Updated documentation of IFOL_ss
|
file |
diff |
annotate
|
Fri, 31 Jan 1997 15:54:00 +0100 |
oheimb |
added addloop (and also documentation of addsolver
|
file |
diff |
annotate
|
Tue, 07 Jan 1997 10:17:07 +0100 |
paulson |
Updated account of implicit simpsets and clasets
|
file |
diff |
annotate
|
Tue, 24 Sep 1996 13:51:10 +0200 |
paulson |
Restoration of reference to Nipkow, LICS, 1993
|
file |
diff |
annotate
|
Mon, 15 Jul 1996 12:36:56 +0200 |
nipkow |
Documented simplification tactics which make use of the implicit simpset.
|
file |
diff |
annotate
|
Thu, 07 Dec 1995 14:24:32 +0100 |
clasohm |
removed quotes from syntax and consts sections
|
file |
diff |
annotate
|
Fri, 28 Jul 1995 19:17:03 +0200 |
nipkow |
added section on "Reordering assumptions".
|
file |
diff |
annotate
|
Wed, 03 May 1995 16:30:39 +0200 |
lcp |
trivial rewording
|
file |
diff |
annotate
|
Fri, 18 Nov 1994 13:04:51 +0100 |
nipkow |
Updated description of valid lhss.
|
file |
diff |
annotate
|
Wed, 09 Nov 1994 15:47:11 +0100 |
lcp |
updated discussion of congruence rules in first section
|
file |
diff |
annotate
|
Fri, 22 Apr 1994 18:18:37 +0200 |
lcp |
final Springer copy
|
file |
diff |
annotate
|
Fri, 15 Apr 1994 17:16:23 +0200 |
lcp |
penultimate Springer draft
|
file |
diff |
annotate
|
Mon, 21 Mar 1994 11:02:57 +0100 |
lcp |
first draft of Springer book
|
file |
diff |
annotate
|
Fri, 19 Nov 1993 12:54:16 +0100 |
lcp |
Reformatting of SIMPLIFIER figure
|
file |
diff |
annotate
|
Tue, 16 Nov 1993 14:13:11 +0100 |
clasohm |
replaced \un by \union in "Simplification sets"
|
file |
diff |
annotate
|
Wed, 10 Nov 1993 05:00:57 +0100 |
lcp |
Initial revision
|
file |
diff |
annotate
|