--- a/doc-src/LaTeXsugar/Sugar/Sugar.thy Tue May 31 12:16:42 2005 +0200
+++ b/doc-src/LaTeXsugar/Sugar/Sugar.thy Tue May 31 12:36:01 2005 +0200
@@ -258,7 +258,7 @@
\end{center}
*}
-subsection "Proofs"
+section "Proofs"
text {*
Full proofs, even if written in beautiful Isar style, are likely to
@@ -307,7 +307,7 @@
*}
-subsection {*Styles\label{sec:styles}*}
+section {*Styles\label{sec:styles}*}
text {*
The \verb!thm! antiquotation works nicely for single theorems, but
--- a/doc-src/LaTeXsugar/Sugar/document/Sugar.tex Tue May 31 12:16:42 2005 +0200
+++ b/doc-src/LaTeXsugar/Sugar/document/Sugar.tex Tue May 31 12:36:01 2005 +0200
@@ -296,7 +296,7 @@
\end{isamarkuptext}%
\isamarkuptrue%
%
-\isamarkupsubsection{Proofs%
+\isamarkupsection{Proofs%
}
\isamarkuptrue%
%
@@ -353,7 +353,7 @@
\end{isamarkuptext}%
\isamarkuptrue%
%
-\isamarkupsubsection{Styles\label{sec:styles}%
+\isamarkupsection{Styles\label{sec:styles}%
}
\isamarkuptrue%
%