
diff -r e68c3861b8db -r 48a0a9db3453 doc-src/IsarRef/Thy/document/Document_Preparation.tex
--- a/doc-src/IsarRef/Thy/document/Document_Preparation.tex	Mon Jun 06 19:13:48 2011 +0200
+++ b/doc-src/IsarRef/Thy/document/Document_Preparation.tex	Mon Jun 06 22:02:34 2011 +0200
@@ -446,7 +446,7 @@
 \end{isamarkuptext}%
 \isamarkuptrue%
 %
-\isamarkupsubsubsection{Styled antiquotations%
+\isamarkupsubsection{Styled antiquotations%
 }
 \isamarkuptrue%
 %
@@ -476,7 +476,7 @@
 \end{isamarkuptext}%
 \isamarkuptrue%
 %
-\isamarkupsubsubsection{General options%
+\isamarkupsubsection{General options%
 }
 \isamarkuptrue%
 %




