Thu, 24 May 2007 08:37:41 +0200 | haftmann | tuned warning | changeset | files |
Thu, 24 May 2007 08:37:39 +0200 | haftmann | rudimentary class target implementation | changeset | files |
Thu, 24 May 2007 08:37:37 +0200 | haftmann | tuned Pure/General/name_space.ML | changeset | files |