Mon, 22 Sep 2008 13:55:59 +0200 | haftmann | different session branches for HOL-Plain vs. Plain | changeset | files |
Mon, 22 Sep 2008 08:00:28 +0200 | haftmann | temporary workaround for class constants | changeset | files |
Mon, 22 Sep 2008 08:00:27 +0200 | haftmann | corrected sort intersection | changeset | files |