# 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}}