moved theorem tags from Drule to PureThy;
replaced kind attribute by kind string;
tuned name_multi: index > 1 only;
added note_thmss_qualified (from Isar/locale.ML);
(* $Id$ *)
theory "locale" imports base begin
chapter {* Structured specifications *}
section {* Specification elements *}
text FIXME
section {* Locales *}
text FIXME
end