| Thu, 22 May 1997 16:04:48 +0200 | wenzelm | tuned Isamode stuff; | changeset | files |
| Thu, 22 May 1997 15:13:16 +0200 | paulson | New headers and other minor changes | changeset | files |
| Thu, 22 May 1997 15:11:56 +0200 | paulson | Now the recdef induction rule variables are named u, v, ... | changeset | files |
| Thu, 22 May 1997 15:11:23 +0200 | paulson | New example of recdef and permutative rewriting | changeset | files |