| 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 |