etc/isar-keywords.el
changeset 35414 cc8e4276d093
parent 35279 4f6760122b2a
child 36114 e49fd7b1d932
     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"