--- a/doc-src/IsarAdvanced/Classes/style.sty Sat May 03 13:36:11 2008 +0200
+++ b/doc-src/IsarAdvanced/Classes/style.sty Sun May 04 21:34:44 2008 +0200
@@ -47,9 +47,7 @@
\newcommand{\isasymGUESS}{\isakeyword{guess}}
\newcommand{\isasymOBTAIN}{\isakeyword{obtain}}
\newcommand{\isasymTHEORY}{\isakeyword{theory}}
-\newcommand{\isasymIMPORTS}{\isakeyword{imports}}
\newcommand{\isasymUSES}{\isakeyword{uses}}
-\newcommand{\isasymBEGIN}{\isakeyword{begin}}
\newcommand{\isasymEND}{\isakeyword{end}}
\newcommand{\isasymCONSTS}{\isakeyword{consts}}
\newcommand{\isasymDEFS}{\isakeyword{defs}}