| changeset 20451 | 27ea2ba48fa3 |
| parent 18537 | 2681f9e34390 |
| child 20477 | e623b0e30541 |
| 20450:725a91601ed1 | 20451:27ea2ba48fa3 |
|---|---|
7 |
7 |
8 section {* Specification elements *} |
8 section {* Specification elements *} |
9 |
9 |
10 text FIXME |
10 text FIXME |
11 |
11 |
12 section {* Locales *} |
12 |
13 section {* Type-checking specifications *} |
|
13 |
14 |
14 text FIXME |
15 text FIXME |
15 |
16 |
17 |
|
18 section {* Localized theory specifications *} |
|
19 |
|
20 text {* |
|
21 FIXME |
|
22 |
|
23 \glossary{Local theory}{FIXME} |
|
24 *} |
|
25 |
|
16 end |
26 end |