src/Pure/Isar/new_locale.ML
Tue, 18 Nov 2008 09:40:44 +0100 ballarin add_thmss
Mon, 17 Nov 2008 14:03:39 +0100 ballarin Generic activation of locales.
Fri, 14 Nov 2008 16:49:52 +0100 ballarin Initial part of locale reimplementation.
less more (0) tip