| Mon, 17 Nov 2008 17:00:55 +0100 | haftmann | tuned unfold_locales invocation | changeset | files |
| Mon, 17 Nov 2008 17:00:27 +0100 | haftmann | explicit name morphism function for locale interpretation | changeset | files |
| Mon, 17 Nov 2008 17:00:26 +0100 | haftmann | Name.name_with_prefix (temporarily) | changeset | files |