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
(0) -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip