# HG changeset patch
# User wenzelm
# Date 1209929684 -7200
# Node ID 861e06a047c5b1cb0241bf12110eba5c7be7977c
# Parent  de781c5c48c162ccc3bcd78d0fef918d61ec502e
removed isasymIMPORTS/BEGIN -- already defined in isar.sty;

diff -r de781c5c48c1 -r 861e06a047c5 doc-src/IsarAdvanced/Classes/style.sty
--- 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}}
diff -r de781c5c48c1 -r 861e06a047c5 doc-src/IsarAdvanced/Codegen/style.sty
--- a/doc-src/IsarAdvanced/Codegen/style.sty	Sat May 03 13:36:11 2008 +0200
+++ b/doc-src/IsarAdvanced/Codegen/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}}
diff -r de781c5c48c1 -r 861e06a047c5 doc-src/IsarAdvanced/Functions/style.sty
--- a/doc-src/IsarAdvanced/Functions/style.sty	Sat May 03 13:36:11 2008 +0200
+++ b/doc-src/IsarAdvanced/Functions/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}}