diff -r 8b40f741597c -r 484178635bd8 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Thu Mar 24 16:36:40 2005 +0100
+++ b/etc/isar-keywords-ZF.el	Thu Mar 24 17:03:37 2005 +0100
@@ -74,6 +74,7 @@
     "init_toplevel"
     "instance"
     "instantiate"
+    "interpret"
     "interpretation"
     "judgment"
     "kill"
@@ -389,6 +390,7 @@
 (defconst isar-keywords-proof-goal
   '("have"
     "hence"
+    "interpret"
     "show"
     "thus"))