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 |
Sat, 15 Jun 2002 22:57:33 +0200 | kleing | LBV instantiated for JVM | changeset | files |