doc-src/IsarImplementation/Thy/locale.thy
author wenzelm
Tue Sep 05 16:42:32 2006 +0200 (2006-09-05 ago)
changeset 20477 e623b0e30541
parent 20451 27ea2ba48fa3
child 20520 05fd007bdeb9
permissions -rw-r--r--
tuned;
     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-checking specifications *}
    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