1.1 --- a/etc/isar-keywords.el Tue Oct 21 21:22:02 2008 +0200
1.2 +++ b/etc/isar-keywords.el Tue Oct 21 21:22:31 2008 +0200
1.3 @@ -32,7 +32,6 @@
1.4 "atom_decl"
1.5 "atp_info"
1.6 "atp_kill"
1.7 - "atp_setup"
1.8 "automaton"
1.9 "ax_specification"
1.10 "axclass"
1.11 @@ -134,6 +133,7 @@
1.12 "no_translations"
1.13 "nominal_datatype"
1.14 "nominal_inductive"
1.15 + "nominal_inductive2"
1.16 "nominal_primrec"
1.17 "nonterminals"
1.18 "normal_form"
1.19 @@ -413,7 +413,6 @@
1.20 "abbreviation"
1.21 "arities"
1.22 "atom_decl"
1.23 - "atp_setup"
1.24 "automaton"
1.25 "axclass"
1.26 "axiomatization"
1.27 @@ -509,6 +508,7 @@
1.28 "interpretation"
1.29 "lemma"
1.30 "nominal_inductive"
1.31 + "nominal_inductive2"
1.32 "nominal_primrec"
1.33 "pcpodef"
1.34 "recdef_tc"