| Mon, 30 Jan 2006 08:18:51 +0100 | haftmann | moved instance Isar command to class_package.ML | changeset | files |
| Mon, 30 Jan 2006 08:17:04 +0100 | haftmann | added map_atype, map_aterms | changeset | files |
| Sun, 29 Jan 2006 19:24:56 +0100 | wenzelm | tuned proof; | changeset | files |
| Sun, 29 Jan 2006 19:23:52 +0100 | wenzelm | declare atomize/defn for Ball; | changeset | files |