--- 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 *}