1
2
(* $Id$ *)
3
4
theory "locale" imports base begin
5
6
chapter {* Structured specifications *}
7
8
section {* Specification elements *}
9
10
text FIXME
11
12
section {* Locales *}
13
14
15
16
end