etc/isar-keywords-ZF.el

     "ProofGeneral\\.kill_proof"
     "ProofGeneral\\.pr"
     "ProofGeneral\\.process_pgip"
     "ProofGeneral\\.restart"
     "ProofGeneral\\.undo"
+    "SML_file"
     "abbreviation"
     "also"
     "apply"
     "apply_end"
     "assume"

     "subsubsection"))
 
 (defconst isar-keywords-theory-decl
   '("ML"
     "ML_file"
+    "SML_file"
     "abbreviation"
     "attribute_setup"
     "axiomatization"
     "bundle"
     "class"