(* $Id$ *) theory "locale" imports base begin chapter {* Structured specifications *} section {* Specification elements *} text FIXME section {* Locales *} text FIXME end