changeset 22084 | 2fef69700f50 |
parent 22066 | 78b151461b89 |
child 22200 | d4797b506752 |
1.1 --- a/etc/isar-keywords-HOL-Nominal.el Thu Jan 18 11:16:49 2007 +0100 1.2 +++ b/etc/isar-keywords-HOL-Nominal.el Fri Jan 19 13:09:31 2007 +0100 1.3 @@ -61,6 +61,7 @@ 1.4 "context" 1.5 "corollary" 1.6 "datatype" 1.7 + "declaration" 1.8 "declare" 1.9 "def" 1.10 "defaultsort" 1.11 @@ -395,6 +396,7 @@ 1.12 "consts_code" 1.13 "context" 1.14 "datatype" 1.15 + "declaration" 1.16 "defaultsort" 1.17 "defer_recdef" 1.18 "definition"