--- 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%
%