doc-src/IsarImplementation/Thy/logic.thy
changeset 20437 0eb5e30fd620
parent 18537 2681f9e34390
child 20450 725a91601ed1
     1.1 --- a/doc-src/IsarImplementation/Thy/logic.thy	Wed Aug 30 08:34:45 2006 +0200
     1.2 +++ b/doc-src/IsarImplementation/Thy/logic.thy	Wed Aug 30 12:28:32 2006 +0200
     1.3 @@ -7,6 +7,13 @@
     1.4  
     1.5  section {* Syntax *}
     1.6  
     1.7 +subsection {* Variable names *}
     1.8 +
     1.9 +text {*
    1.10 +  FIXME
    1.11 +*}
    1.12 +
    1.13 +
    1.14  subsection {* Simply-typed lambda calculus *}
    1.15  
    1.16  text {*