Sat, 01 Apr 2000 20:22:46 +0200 | wenzelm | proper naming of fib equations; | file | diff | annotate |
Thu, 22 Apr 1999 13:04:23 +0200 | wenzelm | recdef requires theory Recdef; | file | diff | annotate |
Mon, 20 Apr 1998 10:37:00 +0200 | paulson | proving fib(gcd(m,n)) = gcd(fib m, fib n) | file | diff | annotate |
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 |