# HG changeset patch
# User haftmann
# Date 1123486156 -7200
# Node ID ffa73448025e7499a7d69cf387707ec6ad44db59
# Parent  ab8c7fbf235ba227be4c532daf5a52afe231aadb
added hint for position of aqu options in connection with styles

diff -r ab8c7fbf235b -r ffa73448025e doc-src/LaTeXsugar/Sugar/Sugar.thy
--- a/doc-src/LaTeXsugar/Sugar/Sugar.thy	Mon Aug 08 09:28:25 2005 +0200
+++ b/doc-src/LaTeXsugar/Sugar/Sugar.thy	Mon Aug 08 09:29:16 2005 +0200
@@ -368,19 +368,22 @@
   Likewise, \verb!concl! may be used as a style to show just the
   conclusion of a proposition. For example, take \verb!hd_Cons_tl!:
   \begin{center}
-    @{thm hd_Cons_tl}
+    @{thm [show_types] hd_Cons_tl}
   \end{center}
   To print just the conclusion,
   \begin{center}
-    @{thm_style concl hd_Cons_tl}
+    @{thm_style [show_types] concl hd_Cons_tl}
   \end{center}
   type
   \begin{quote}
     \verb!\begin{center}!\\
-    \verb!@!\verb!{thm_style concl hd_Cons_tl}!\\
+    \verb!@!\verb!{thm_style [show_types] concl hd_Cons_tl}!\\
     \verb!\end{center}!
   \end{quote}
 
+  Be aware that any options must be placed \emph{before}
+  the name of the style, as in this example.
+
   Further use cases can be found in \S\ref{sec:yourself}.
 
   If you are not afraid of ML, you may also define your own styles.