--- a/doc-src/IsarImplementation/Thy/document/logic.tex Mon Sep 04 16:28:36 2006 +0200
+++ b/doc-src/IsarImplementation/Thy/document/logic.tex Mon Sep 04 17:06:45 2006 +0200
@@ -23,7 +23,7 @@
}
\isamarkuptrue%
%
-\isamarkupsection{Variable names%
+\isamarkupsection{Names%
}
\isamarkuptrue%
%