Tue, 20 May 1997 11:44:02 +0200 | paulson | Renamed egcd and gcd; defined the gcd function using TFL | changeset | files |
Tue, 20 May 1997 11:42:59 +0200 | paulson | Removal of duplicate code from TFL | changeset | files |
Tue, 20 May 1997 11:41:56 +0200 | paulson | New arithmetic laws let us delete three lines of a proof | changeset | files |