etc/isar-keywords.el
changeset 15598 4ab52355bb53
parent 15596 8665d08085df
child 15624 484178635bd8
--- a/etc/isar-keywords.el	Thu Mar 10 09:11:57 2005 +0100
+++ b/etc/isar-keywords.el	Thu Mar 10 17:48:36 2005 +0100
@@ -77,6 +77,7 @@
     "init_toplevel"
     "instance"
     "instantiate"
+    "interpretation"
     "judgment"
     "kill"
     "kill_thy"
@@ -112,11 +113,11 @@
     "print_drafts"
     "print_facts"
     "print_induct_rules"
+    "print_interps"
     "print_intros"
     "print_locale"
     "print_locales"
     "print_methods"
-    "print_registrations"
     "print_rules"
     "print_simpset"
     "print_syntax"
@@ -137,7 +138,6 @@
     "recdef_tc"
     "record"
     "redo"
-    "registration"
     "refute"
     "refute_params"
     "remove_thy"
@@ -286,11 +286,11 @@
     "print_drafts"
     "print_facts"
     "print_induct_rules"
+    "print_interps"
     "print_intros"
     "print_locale"
     "print_locales"
     "print_methods"
-    "print_registrations"
     "print_rules"
     "print_simpset"
     "print_syntax"
@@ -395,9 +395,9 @@
   '("ax_specification"
     "corollary"
     "instance"
+    "interpretation"
     "lemma"
     "recdef_tc"
-    "registration"
     "specification"
     "theorem"
     "typedef"))