etc/isar-keywords.el

--- a/etc/isar-keywords.el	Wed Jun 01 10:52:17 2005 +0200
+++ b/etc/isar-keywords.el	Wed Jun 01 12:30:49 2005 +0200
@@ -76,7 +76,6 @@
     "inductive_cases"
     "init_toplevel"
     "instance"
-    "instantiate"
     "interpret"
     "interpretation"
     "judgment"
@@ -202,6 +201,7 @@
     "compose"
     "concl"
     "congs"
+    "constrains"
     "defines"
     "distinct"
     "files"
@@ -447,7 +447,6 @@
 
 (defconst isar-keywords-proof-decl
   '("also"
-    "instantiate"
     "let"
     "moreover"
     "note"