etc/isar-keywords-HOL-Nominal.el
changeset 20358 ccad73da6f61
parent 20345 32ed5f5fee84
child 20378 63a0aafc89ba
--- a/etc/isar-keywords-HOL-Nominal.el	Tue Aug 08 08:20:24 2006 +0200
+++ b/etc/isar-keywords-HOL-Nominal.el	Tue Aug 08 08:47:36 2006 +0200
@@ -45,6 +45,7 @@
     "code_alias"
     "code_classapp"
     "code_constapp"
+    "code_constname"
     "code_generate"
     "code_library"
     "code_module"
@@ -366,6 +367,7 @@
     "code_alias"
     "code_classapp"
     "code_constapp"
+    "code_constname"
     "code_generate"
     "code_library"
     "code_module"