# HG changeset patch
# User webertj
# Date 1164643990 -3600
# Node ID 63278052bb72382835f3f138ffaf9e7523dc9632
# Parent  3c8e29a6e4f0aa606cc7dd961ca37cef3c2439a6
typo fixed

diff -r 3c8e29a6e4f0 -r 63278052bb72 doc-src/LaTeXsugar/Sugar/Sugar.thy
--- 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}
diff -r 3c8e29a6e4f0 -r 63278052bb72 doc-src/LaTeXsugar/Sugar/document/Sugar.tex
--- 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}