--- a/doc-src/LaTeXsugar/Sugar/Sugar.thy Mon Nov 27 14:50:21 2006 +0100
+++ b/doc-src/LaTeXsugar/Sugar/Sugar.thy Mon Nov 27 17:13:10 2006 +0100
@@ -334,7 +334,7 @@
\end{quote}
A ``style'' is a transformation of propositions. There are predefined
- styles, namly \verb!lhs! and \verb!rhs!, \verb!prem1! up to \verb!prem9!, and \verb!concl!.
+ styles, namely \verb!lhs! and \verb!rhs!, \verb!prem1! up to \verb!prem9!, and \verb!concl!.
For example,
the output
\begin{center}
--- a/doc-src/LaTeXsugar/Sugar/document/Sugar.tex Mon Nov 27 14:50:21 2006 +0100
+++ b/doc-src/LaTeXsugar/Sugar/document/Sugar.tex Mon Nov 27 17:13:10 2006 +0100
@@ -422,7 +422,7 @@
\end{quote}
A ``style'' is a transformation of propositions. There are predefined
- styles, namly \verb!lhs! and \verb!rhs!, \verb!prem1! up to \verb!prem9!, and \verb!concl!.
+ styles, namely \verb!lhs! and \verb!rhs!, \verb!prem1! up to \verb!prem9!, and \verb!concl!.
For example,
the output
\begin{center}