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;
wenzelm@18537
     1
wenzelm@18537
     2
(* $Id$ *)
wenzelm@18537
     3
wenzelm@18537
     4
theory "locale" imports base begin
wenzelm@18537
     5
wenzelm@18537
     6
chapter {* Structured specifications *}
wenzelm@18537
     7
wenzelm@18537
     8
section {* Specification elements *}
wenzelm@18537
     9
wenzelm@18537
    10
text FIXME
wenzelm@18537
    11
wenzelm@20451
    12
wenzelm@20451
    13
section {* Type-checking specifications *}
wenzelm@18537
    14
wenzelm@18537
    15
text FIXME
wenzelm@18537
    16
wenzelm@20451
    17
wenzelm@20477
    18
section {* Local theories *}
wenzelm@20451
    19
wenzelm@20451
    20
text {*
wenzelm@20451
    21
  FIXME
wenzelm@20451
    22
wenzelm@20451
    23
  \glossary{Local theory}{FIXME}
wenzelm@20451
    24
*}
wenzelm@20451
    25
wenzelm@18537
    26
end