| changeset 29755 | d66b34e46bdf |
| parent 29754 | 2203ef9b55ce |
| child 29756 | df70c0291579 |
| 29754:2203ef9b55ce | 29755:d66b34e46bdf |
|---|---|
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 |
|
13 section {* Type-inference *} |
|
14 |
|
15 text FIXME |
|
16 |
|
17 |
|
18 section {* Local theories *} |
|
19 |
|
20 text {* |
|
21 FIXME |
|
22 |
|
23 \glossary{Local theory}{FIXME} |
|
24 *} |
|
25 |
|
26 end |