doc-src/IsarImplementation/Thy/logic.thy
changeset 20472 e993073eda4c
parent 20470 c839b38a1f32
child 20477 e623b0e30541
     1.1 --- a/doc-src/IsarImplementation/Thy/logic.thy	Mon Sep 04 16:28:36 2006 +0200
     1.2 +++ b/doc-src/IsarImplementation/Thy/logic.thy	Mon Sep 04 17:06:45 2006 +0200
     1.3 @@ -5,7 +5,7 @@
     1.4  
     1.5  chapter {* Primitive logic \label{ch:logic} *}
     1.6  
     1.7 -section {* Variable names *}
     1.8 +section {* Names *}
     1.9  
    1.10  text FIXME
    1.11