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