# HG changeset patch # User wenzelm # Date 1209739184 -7200 # Node ID d688166808c0eaadebf9fab4fb85c1e63dff3e26 # Parent 5b8382d495bed9ae6f0c4346a3a1031fbec5cebb moved begin and imports to ../isar.sty; diff -r 5b8382d495be -r d688166808c0 doc-src/IsarImplementation/style.sty --- a/doc-src/IsarImplementation/style.sty Fri May 02 16:38:01 2008 +0200 +++ b/doc-src/IsarImplementation/style.sty Fri May 02 16:39:44 2008 +0200 @@ -52,9 +52,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}}