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 text FIXME
15
16 end