doc-src/IsarImplementation/Thy/locale.thy

Fixed the bugs introduced by the last commit! Output is now *identical* to that
produced by the old version, based on a-lists.

(* $Id$ *)

theory "locale" imports base begin

chapter {* Structured specifications *}

section {* Specification elements *}

text FIXME

section {* Locales *}

text FIXME

end