| Fri, 04 Jul 1997 11:57:33 +0200 | paulson | New comments on how to deal with unproved termination conditions | file | diff | annotate |
| Mon, 23 Jun 1997 10:42:03 +0200 | paulson | Ran expandshort | file | diff | annotate |
| Fri, 30 May 1997 15:24:27 +0200 | paulson | New results including the basis for unique factorization | file | diff | annotate |
| Tue, 27 May 1997 13:26:42 +0200 | paulson | New theorems suggested by Florian Kammueller | file | diff | annotate |
| Thu, 22 May 1997 15:11:56 +0200 | paulson | Now the recdef induction rule variables are named u, v, ... | file | diff | annotate |
| Wed, 21 May 1997 10:55:42 +0200 | paulson | TFL induction rule is now curried | 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, 18 Oct 1996 11:33:02 +0200 | paulson | Replaced excluded_middle_tac by case_tac | file | diff | annotate |
| Fri, 14 Jun 1996 12:34:56 +0200 | paulson | New example of greatest common divisor | file | diff | annotate |