doc-src/IsarImplementation/Thy/logic.thy
changeset 20470 c839b38a1f32
parent 20451 27ea2ba48fa3
child 20472 e993073eda4c
     1.1 --- a/doc-src/IsarImplementation/Thy/logic.thy	Mon Sep 04 15:27:30 2006 +0200
     1.2 +++ b/doc-src/IsarImplementation/Thy/logic.thy	Mon Sep 04 16:28:27 2006 +0200
     1.3 @@ -3,7 +3,7 @@
     1.4  
     1.5  theory logic imports base begin
     1.6  
     1.7 -chapter {* Primitive logic *}
     1.8 +chapter {* Primitive logic \label{ch:logic} *}
     1.9  
    1.10  section {* Variable names *}
    1.11