src/Doc/isar.sty

--- a/src/Doc/isar.sty	Tue Apr 09 13:24:00 2013 +0200
+++ b/src/Doc/isar.sty	Tue Apr 09 13:55:28 2013 +0200
@@ -17,7 +17,6 @@
 \newcommand{\isasymBEGIN}{\isakeyword{begin}}
 \newcommand{\isasymIMPORTS}{\isakeyword{imports}}
 \newcommand{\isasymIN}{\isakeyword{in}}
-\newcommand{\isasymSTRUCTURE}{\isakeyword{structure}}
 \newcommand{\isasymFIXES}{\isakeyword{fixes}}
 \newcommand{\isasymASSUMES}{\isakeyword{assumes}}
 \newcommand{\isasymSHOWS}{\isakeyword{shows}}