--- a/etc/isar-keywords.el Thu May 22 15:31:36 2014 +0200
+++ b/etc/isar-keywords.el Thu May 22 15:49:36 2014 +0200
@@ -149,9 +149,11 @@
"no_translations"
"no_type_notation"
"nominal_datatype"
+ "nominal_function"
"nominal_inductive"
"nominal_inductive2"
"nominal_primrec"
+ "nominal_termination"
"nonterminal"
"notation"
"note"
@@ -315,6 +317,7 @@
"avoids"
"begin"
"binder"
+ "binds"
"checking"
"class_instance"
"class_relation"
@@ -613,9 +616,11 @@
"interpretation"
"lemma"
"lift_definition"
+ "nominal_function"
"nominal_inductive"
"nominal_inductive2"
"nominal_primrec"
+ "nominal_termination"
"pcpodef"
"permanent_interpretation"
"primcorecursive"