doc-src/IsarImplementation/style.sty
changeset 26770 d688166808c0
parent 22868 c82dd66560ac
child 29758 7a3b5bbed313
child 30240 5b25fee0362c
     1.1 --- a/doc-src/IsarImplementation/style.sty	Fri May 02 16:38:01 2008 +0200
     1.2 +++ b/doc-src/IsarImplementation/style.sty	Fri May 02 16:39:44 2008 +0200
     1.3 @@ -52,9 +52,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}}