Fri, 04 Jul 1997 11:56:49 +0200 | paulson | Fixed comments | file | diff | annotate |
Fri, 30 May 1997 15:23:25 +0200 | paulson | Now Divides must be the parent | file | diff | annotate |
Thu, 22 May 1997 15:11:23 +0200 | paulson | New example of recdef and permutative rewriting | file | diff | annotate |