diff -r 4bfd987b005c -r 2fef69700f50 etc/isar-keywords-HOL-Nominal.el
--- a/etc/isar-keywords-HOL-Nominal.el	Thu Jan 18 11:16:49 2007 +0100
+++ b/etc/isar-keywords-HOL-Nominal.el	Fri Jan 19 13:09:31 2007 +0100
@@ -61,6 +61,7 @@
     "context"
     "corollary"
     "datatype"
+    "declaration"
     "declare"
     "def"
     "defaultsort"
@@ -395,6 +396,7 @@
     "consts_code"
     "context"
     "datatype"
+    "declaration"
     "defaultsort"
     "defer_recdef"
     "definition"