doc-src/IsarAdvanced/Codegen/Thy/document/Codegen.tex
changeset 21994 dfa5133dbe73
parent 21993 4b802a9e0738
child 22060 8a37090726e8
     1.1 --- a/doc-src/IsarAdvanced/Codegen/Thy/document/Codegen.tex	Thu Jan 04 17:11:09 2007 +0100
     1.2 +++ b/doc-src/IsarAdvanced/Codegen/Thy/document/Codegen.tex	Thu Jan 04 17:17:48 2007 +0100
     1.3 @@ -984,7 +984,7 @@
     1.4  \ \ {\isacharparenleft}\isakeyword{attach}\ {\isachardoublequoteopen}op\ {\isacharequal}{\isachardoublequoteclose}{\isacharparenright}%
     1.5  \begin{isamarkuptext}%
     1.6  This merely introduces a class \isa{eq} with corresponding
     1.7 -  operation \isa{foo{\isachardot}op\ {\isacharequal}};
     1.8 +  operation \isa{op\ {\isacharequal}};
     1.9    the preprocessing framework does the rest.%
    1.10  \end{isamarkuptext}%
    1.11  \isamarkuptrue%