updated generated file;

--- a/etc/isar-keywords-ZF.el	Wed Sep 17 15:59:23 2008 +0200
+++ b/etc/isar-keywords-ZF.el	Wed Sep 17 21:27:03 2008 +0200
@@ -15,6 +15,7 @@
     "Isar\\.remove"
     "ML"
     "ML_command"
+    "ML_prf"
     "ML_val"
     "ProofGeneral\\.inform_file_processed"
     "ProofGeneral\\.inform_file_retracted"
@@ -459,7 +460,8 @@
     "with"))
 
 (defconst isar-keywords-proof-decl
-  '("also"
+  '("ML_prf"
+    "also"
     "let"
     "moreover"
     "note"