| Fri, 04 Jul 1997 11:57:33 +0200 | paulson | New comments on how to deal with unproved termination conditions | file | diff | annotate |
| Fri, 30 May 1997 15:23:49 +0200 | paulson | Now "primes" is a set | file | diff | annotate |
| Tue, 20 May 1997 11:44:02 +0200 | paulson | Renamed egcd and gcd; defined the gcd function using TFL | file | diff | annotate |
| Fri, 14 Jun 1996 12:34:56 +0200 | paulson | New example of greatest common divisor | file | diff | annotate |