etc/isar-keywords-ZF.el

--- a/etc/isar-keywords-ZF.el	Mon Aug 20 15:43:10 2012 +0200
+++ b/etc/isar-keywords-ZF.el	Mon Aug 20 17:05:53 2012 +0200
@@ -10,6 +10,7 @@
     "Isabelle\\.command"
     "ML"
     "ML_command"
+    "ML_file"
     "ML_prf"
     "ML_val"
     "ProofGeneral\\.inform_file_processed"
@@ -343,6 +344,7 @@
 
 (defconst isar-keywords-theory-decl
   '("ML"
+    "ML_file"
     "abbreviation"
     "arities"
     "attribute_setup"