src/Doc/isar.sty

--- a/src/Doc/isar.sty	Sat Jan 25 21:52:04 2014 +0100
+++ b/src/Doc/isar.sty	Sat Jan 25 22:06:07 2014 +0100
@@ -11,6 +11,7 @@
 \newcommand{\indexouternonterm}[1]{\indexdef{}{syntax}{#1}}
 \newcommand{\indexisarelem}[1]{\indexdef{}{element}{#1}}
 
+\newcommand{\isasymFOR}{\isakeyword{for}}
 \newcommand{\isasymAND}{\isakeyword{and}}
 \newcommand{\isasymIS}{\isakeyword{is}}
 \newcommand{\isasymWHERE}{\isakeyword{where}}