doc-src/IsarImplementation/Thy/document/logic.tex
changeset 20472 e993073eda4c
parent 20471 ffafbd4103c0
child 20477 e623b0e30541
--- 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%
 %