
diff -r f8a7a8236c68 -r 725a91601ed1 doc-src/IsarImplementation/Thy/logic.thy
--- 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 *}
 




