1.1 --- a/doc-src/IsarRef/style.sty	Fri May 02 16:32:51 2008 +0200
     1.2 +++ b/doc-src/IsarRef/style.sty	Fri May 02 16:36:05 2008 +0200
     1.3 @@ -36,9 +36,7 @@
     1.4  \newcommand{\isasymGUESS}{\isakeyword{guess}}
     1.5  \newcommand{\isasymOBTAIN}{\isakeyword{obtain}}
     1.6  \newcommand{\isasymTHEORY}{\isakeyword{theory}}
     1.7 -\newcommand{\isasymIMPORTS}{\isakeyword{imports}}
     1.8  \newcommand{\isasymUSES}{\isakeyword{uses}}
     1.9 -\newcommand{\isasymBEGIN}{\isakeyword{begin}}
    1.10  \newcommand{\isasymEND}{\isakeyword{end}}
    1.11  \newcommand{\isasymCONSTS}{\isakeyword{consts}}
    1.12  \newcommand{\isasymDEFS}{\isakeyword{defs}}