# HG changeset patch
# User nipkow
# Date 1117535761 -7200
# Node ID a6403c6c533952814c9494f4ba97eab21faa5b0e
# Parent  9bf4b6bf43720fd4a1e78cd1a9f641b66614af51
fixed sectioning

diff -r 9bf4b6bf4372 -r a6403c6c5339 doc-src/LaTeXsugar/Sugar/Sugar.thy
--- 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
diff -r 9bf4b6bf4372 -r a6403c6c5339 doc-src/LaTeXsugar/Sugar/document/Sugar.tex
--- 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%
 %