Wed, 23 Mar 1994 11:32:21 +0100 first draft of Springer volume
lcp [Wed, 23 Mar 1994 11:32:21 +0100] rev 292
first draft of Springer volume
Wed, 23 Mar 1994 11:10:16 +0100 first draft of Springer volume
lcp [Wed, 23 Mar 1994 11:10:16 +0100] rev 291
first draft of Springer volume
Tue, 22 Mar 1994 12:43:51 +0100 changed "." to "$" and added parentheses to eliminate ambiguity
clasohm [Tue, 22 Mar 1994 12:43:51 +0100] rev 290
changed "." to "$" and added parentheses to eliminate ambiguity
Tue, 22 Mar 1994 12:42:56 +0100 changed "." to "$" to eliminate ambiguity
clasohm [Tue, 22 Mar 1994 12:42:56 +0100] rev 289
changed "." to "$" to eliminate ambiguity
Tue, 22 Mar 1994 08:24:14 +0100 Implemented "ordered rewriting": rules which merely permute variables, such
nipkow [Tue, 22 Mar 1994 08:24:14 +0100] rev 288
Implemented "ordered rewriting": rules which merely permute variables, such as commutativity, are only applied if the term becaomes lexicographically smaller (according to some fixed ordering on the term structure).
Mon, 21 Mar 1994 11:41:41 +0100 first draft of Springer book
lcp [Mon, 21 Mar 1994 11:41:41 +0100] rev 287
first draft of Springer book
Mon, 21 Mar 1994 11:02:57 +0100 first draft of Springer book
lcp [Mon, 21 Mar 1994 11:02:57 +0100] rev 286
first draft of Springer book
Mon, 21 Mar 1994 10:51:28 +0100 first draft of Springer book
lcp [Mon, 21 Mar 1994 10:51:28 +0100] rev 285
first draft of Springer book
Sat, 19 Mar 1994 03:01:25 +0100 First draft of Springer book
lcp [Sat, 19 Mar 1994 03:01:25 +0100] rev 284
First draft of Springer book
Thu, 17 Mar 1994 17:48:37 +0100 new type declaration syntax instead of numbers
lcp [Thu, 17 Mar 1994 17:48:37 +0100] rev 283
new type declaration syntax instead of numbers
(0) -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip