doc-src/IsarImplementation/Thy/logic.thy
changeset 20450 725a91601ed1
parent 20437 0eb5e30fd620
child 20451 27ea2ba48fa3
     1.1 --- a/doc-src/IsarImplementation/Thy/logic.thy	Thu Aug 31 17:33:55 2006 +0200
     1.2 +++ b/doc-src/IsarImplementation/Thy/logic.thy	Thu Aug 31 18:27:40 2006 +0200
     1.3 @@ -3,7 +3,7 @@
     1.4  
     1.5  theory logic imports base begin
     1.6  
     1.7 -chapter {* Pure logic *}
     1.8 +chapter {* Primitive logic *}
     1.9  
    1.10  section {* Syntax *}
    1.11