diff -r 3b887ad7d196 -r 12952535fc2c etc/isar-keywords-HOL-Nominal.el
--- a/etc/isar-keywords-HOL-Nominal.el	Sun Sep 24 08:22:21 2006 +0200
+++ b/etc/isar-keywords-HOL-Nominal.el	Mon Sep 25 17:04:12 2006 +0200
@@ -48,6 +48,7 @@
     "code_constname"
     "code_gen"
     "code_instance"
+    "code_instname"
     "code_library"
     "code_module"
     "code_simtype"
@@ -375,6 +376,7 @@
     "code_const"
     "code_constname"
     "code_instance"
+    "code_instname"
     "code_library"
     "code_module"
     "code_type"