--- a/doc-src/IsarImplementation/Thy/logic.thy Mon Sep 04 16:28:36 2006 +0200
+++ b/doc-src/IsarImplementation/Thy/logic.thy Mon Sep 04 17:06:45 2006 +0200
@@ -5,7 +5,7 @@
chapter {* Primitive logic \label{ch:logic} *}
-section {* Variable names *}
+section {* Names *}
text FIXME