src/Doc/isar.sty

--- a/src/Doc/isar.sty	Sat Jun 13 20:07:54 2015 +0200
+++ b/src/Doc/isar.sty	Sat Jun 13 22:42:23 2015 +0200
@@ -13,6 +13,7 @@
 \newcommand{\indexouternonterm}[1]{\indexdef{}{syntax}{#1}}
 \newcommand{\indexisarelem}[1]{\indexdef{}{element}{#1}}
 
+\newcommand{\isasymIF}{\isakeyword{if}}
 \newcommand{\isasymFOR}{\isakeyword{for}}
 \newcommand{\isasymAND}{\isakeyword{and}}
 \newcommand{\isasymIS}{\isakeyword{is}}