doc-src/IsarImplementation/Thy/logic.thy
changeset 20470 c839b38a1f32
parent 20451 27ea2ba48fa3
child 20472 e993073eda4c
equal deleted inserted replaced
20469:bb75c1cdf913 20470:c839b38a1f32
     1 
     1 
     2 (* $Id$ *)
     2 (* $Id$ *)
     3 
     3 
     4 theory logic imports base begin
     4 theory logic imports base begin
     5 
     5 
     6 chapter {* Primitive logic *}
     6 chapter {* Primitive logic \label{ch:logic} *}
     7 
     7 
     8 section {* Variable names *}
     8 section {* Variable names *}
     9 
     9 
    10 text FIXME
    10 text FIXME
    11 
    11