| 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
|