1.1 --- a/etc/isar-keywords.el Thu Feb 20 21:45:08 2014 +0100
1.2 +++ b/etc/isar-keywords.el Thu Feb 20 21:55:37 2014 +0100
1.3 @@ -154,7 +154,6 @@
1.4 "note"
1.5 "notepad"
1.6 "obtain"
1.7 - "old_primrec"
1.8 "oops"
1.9 "oracle"
1.10 "overloading"
1.11 @@ -162,6 +161,7 @@
1.12 "parse_translation"
1.13 "partial_function"
1.14 "pcpodef"
1.15 + "permanent_interpretation"
1.16 "pr"
1.17 "prefer"
1.18 "presume"
1.19 @@ -320,6 +320,7 @@
1.20 "constrains"
1.21 "datatypes"
1.22 "defines"
1.23 + "defining"
1.24 "file"
1.25 "fixes"
1.26 "for"
1.27 @@ -546,7 +547,6 @@
1.28 "nonterminal"
1.29 "notation"
1.30 "notepad"
1.31 - "old_primrec"
1.32 "oracle"
1.33 "overloading"
1.34 "parse_ast_translation"
1.35 @@ -608,6 +608,7 @@
1.36 "nominal_inductive2"
1.37 "nominal_primrec"
1.38 "pcpodef"
1.39 + "permanent_interpretation"
1.40 "primcorecursive"
1.41 "quotient_definition"
1.42 "quotient_type"