--- a/doc-src/LaTeXsugar/Sugar/Sugar.thy Tue May 24 11:19:50 2005 +0200
+++ b/doc-src/LaTeXsugar/Sugar/Sugar.thy Tue May 24 14:28:59 2005 +0200
@@ -372,7 +372,7 @@
style has some object-logic specific behaviour).
The mapping from identifier name to the style function
- is done by the \verb!Style.add_style! expression which expects the desired
+ is done by the @{ML_idf TermStyle.add_style} expression which expects the desired
style name and the style function as arguments.
After this \verb!setup!,