1.1 --- a/etc/isar-keywords.el Mon Mar 01 17:09:42 2010 +0100
1.2 +++ b/etc/isar-keywords.el Mon Mar 01 17:12:43 2010 +0100
1.3 @@ -37,7 +37,6 @@
1.4 "attribute_setup"
1.5 "automaton"
1.6 "ax_specification"
1.7 - "axclass"
1.8 "axiomatization"
1.9 "axioms"
1.10 "back"
1.11 @@ -145,6 +144,7 @@
1.12 "no_notation"
1.13 "no_syntax"
1.14 "no_translations"
1.15 + "no_type_notation"
1.16 "nominal_datatype"
1.17 "nominal_inductive"
1.18 "nominal_inductive2"
1.19 @@ -252,6 +252,7 @@
1.20 "txt"
1.21 "txt_raw"
1.22 "typ"
1.23 + "type_notation"
1.24 "typed_print_translation"
1.25 "typedecl"
1.26 "typedef"
1.27 @@ -451,7 +452,6 @@
1.28 "atom_decl"
1.29 "attribute_setup"
1.30 "automaton"
1.31 - "axclass"
1.32 "axiomatization"
1.33 "axioms"
1.34 "boogie_end"
1.35 @@ -509,6 +509,7 @@
1.36 "no_notation"
1.37 "no_syntax"
1.38 "no_translations"
1.39 + "no_type_notation"
1.40 "nominal_datatype"
1.41 "nonterminals"
1.42 "notation"
1.43 @@ -535,6 +536,7 @@
1.44 "text_raw"
1.45 "theorems"
1.46 "translations"
1.47 + "type_notation"
1.48 "typed_print_translation"
1.49 "typedecl"
1.50 "types"