Tue, 18 Jun 2002 10:52:08 +0200 | paulson | conversion of Fixedpt to Isar script | changeset | files |
Tue, 18 Jun 2002 10:51:04 +0200 | paulson | new theorems | changeset | files |
Sun, 16 Jun 2002 11:58:54 +0200 | paulson | conversion of CardinalArith to Isar script | changeset | files |