--- a/etc/isar-keywords.el Thu Feb 20 21:45:08 2014 +0100
+++ b/etc/isar-keywords.el Thu Feb 20 21:55:37 2014 +0100
@@ -154,7 +154,6 @@
"note"
"notepad"
"obtain"
- "old_primrec"
"oops"
"oracle"
"overloading"
@@ -162,6 +161,7 @@
"parse_translation"
"partial_function"
"pcpodef"
+ "permanent_interpretation"
"pr"
"prefer"
"presume"
@@ -320,6 +320,7 @@
"constrains"
"datatypes"
"defines"
+ "defining"
"file"
"fixes"
"for"
@@ -546,7 +547,6 @@
"nonterminal"
"notation"
"notepad"
- "old_primrec"
"oracle"
"overloading"
"parse_ast_translation"
@@ -608,6 +608,7 @@
"nominal_inductive2"
"nominal_primrec"
"pcpodef"
+ "permanent_interpretation"
"primcorecursive"
"quotient_definition"
"quotient_type"