# HG changeset patch
# User wenzelm
# Date 1392929737 -3600
# Node ID 9b1805ff3aae4df5e68b4802450a0804e2e70aff
# Parent  79a43f8e18a3498d97937574e801f557f94f34b8
updated keywords;

diff -r 79a43f8e18a3 -r 9b1805ff3aae etc/isar-keywords.el
--- 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"