src/Pure/Isar/locale.ML
2001-11-29 ago qualify_elem: do not qualify empty names ("");
2001-11-28 ago qualify imported facts;
2001-11-24 ago clarified locale operations (rename, merge);
2001-11-23 ago improved ordering of evaluated elements;
2001-11-22 ago beginnings of actual locale expressions;
2001-11-21 ago locale expressions;
2001-11-11 ago added add_thmss;
2001-11-09 ago proper close_locale;
2001-11-06 ago defines: Thm.def_name, proper check of args;
2001-11-06 ago proper treatment of local syntax;
2001-11-06 ago added add_locale(_i) and store_thm;
2001-11-05 ago fixes: optional typ;
2001-11-04 ago locale elements;
2001-11-01 ago beginnings of new locales (not yet functional);
2001-10-22 ago moved locale.ML to Isar/locale.ML;