1.1 --- a/doc-src/IsarImplementation/style.sty	Thu Sep 07 15:16:51 2006 +0200
     1.2 +++ b/doc-src/IsarImplementation/style.sty	Thu Sep 07 20:12:08 2006 +0200
     1.3 @@ -49,6 +49,8 @@
     1.4  \renewcommand{\isatagmlref}{\subsection*{\makebox[0pt][r]{\fbox{\ML}~~}Reference}\begingroup\def\isastyletext{\rm}\small}
     1.5  \renewcommand{\endisatagmlref}{\endgroup}
     1.6  
     1.7 +\newcommand{\isasymGUESS}{\isakeyword{guess}}
     1.8 +\newcommand{\isasymOBTAIN}{\isakeyword{obtain}}
     1.9  \newcommand{\isasymTHEORY}{\isakeyword{theory}}
    1.10  \newcommand{\isasymIMPORTS}{\isakeyword{imports}}
    1.11  \newcommand{\isasymUSES}{\isakeyword{uses}}