doc-src/LaTeXsugar/Sugar/Sugar.thy

   @{term "let x = the y in t"} & \verb!@!\verb!{term "let x = the y in t"}!\\
   \end{tabular}
   \end{center}
 *}
 
-subsection "Proofs"
+section "Proofs"
 
 text {*
   Full proofs, even if written in beautiful Isar style, are likely to
   be too long and detailed to be included in conference papers, but
   some key lemmas might be of interest.

 \verb!*!\verb!}!
 \end{quote}
   
 *}
 
-subsection {*Styles\label{sec:styles}*}
+section {*Styles\label{sec:styles}*}
 
 text {*
   The \verb!thm! antiquotation works nicely for single theorems, but
   sets of equations as used in definitions are more difficult to
   typeset nicely: people tend to prefer aligned @{text "="} signs.