Tue, 21 Apr 1998 17:20:54 +0200 | oheimb | made modifications of the simpset() local | changeset | files |
Tue, 21 Apr 1998 17:20:28 +0200 | oheimb | layout improvement | changeset | files |
Tue, 21 Apr 1998 10:49:15 +0200 | paulson | expandshort; new gcd_induct with inbuilt case analysis | changeset | files |