doc-src/LaTeXsugar/Sugar/document/Sugar.tex

     \verb!  fun my_lhs ctxt (Const ("==", _) $ t $ _) = t!\\
     \verb!    | my_lhs ctxt (Const ("Trueprop", _) $ t) = my_lhs ctxt t!\\
     \verb!    | my_lhs ctxt (Const ("==>", _) $ _ $ t) = my_lhs ctxt t!\\
     \verb!    | my_lhs ctxt (_ $ t $ _) = t!\\
     \verb!    | my_lhs ctxt _ = error ("Binary operator expected")!\\
-    \verb!  in [TermStyle.update_style "new_lhs" my_lhs]!\\
+    \verb!  in [TermStyle.add_style "new_lhs" my_lhs]!\\
     \verb!end;!\\
     \verb!*!\verb!}!\\
   \end{quote}
 
   This example indeed shows a way the \verb!lhs! style could be implemented;