etc/isar-keywords.el
changeset 15624 484178635bd8
parent 15598 4ab52355bb53
child 15703 727ef1b8b3ee
--- a/etc/isar-keywords.el	Thu Mar 24 16:36:40 2005 +0100
+++ b/etc/isar-keywords.el	Thu Mar 24 17:03:37 2005 +0100
@@ -77,6 +77,7 @@
     "init_toplevel"
     "instance"
     "instantiate"
+    "interpret"
     "interpretation"
     "judgment"
     "kill"
@@ -423,6 +424,7 @@
 (defconst isar-keywords-proof-goal
   '("have"
     "hence"
+    "interpret"
     "show"
     "thus"))