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