etc/isar-keywords-ZF.el

 
 (defconst isar-keywords-minor
   '("advanced"
     "and"
     "assumes"
+    "begin"
     "binder"
     "case_eqns"
     "con_defs"
     "concl"
     "defines"
     "domains"
     "elimination"
     "files"
     "fixes"
+    "import"
     "in"
     "includes"
     "induction"
     "infix"
     "infixl"