Mon, 20 Feb 2006 11:37:18 +0100 | haftmann | moved intro_classes from AxClass to ClassPackage | changeset | files |
Sun, 19 Feb 2006 22:40:18 +0100 | kleing | fixed document | changeset | files |
Sun, 19 Feb 2006 22:12:30 +0100 | kleing | * denumerability of rationals by Benjamin Porter, based on NatPair (by Stefan Richter) | changeset | files |