(* $Id$ *) theory "locale" imports base begin chapter {* Structured specifications *} section {* Specification elements *} text FIXME section {* Type-checking specifications *} text FIXME section {* Local theories *} text {* FIXME \glossary{Local theory}{FIXME} *} end