etc/isar-keywords-ZF.el
changeset 35414 cc8e4276d093
parent 35279 4f6760122b2a
child 36114 e49fd7b1d932
     1.1 --- a/etc/isar-keywords-ZF.el	Mon Mar 01 17:09:42 2010 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Mon Mar 01 17:12:43 2010 +0100
     1.3 @@ -30,7 +30,6 @@
     1.4      "arities"
     1.5      "assume"
     1.6      "attribute_setup"
     1.7 -    "axclass"
     1.8      "axiomatization"
     1.9      "axioms"
    1.10      "back"
    1.11 @@ -108,6 +107,7 @@
    1.12      "no_notation"
    1.13      "no_syntax"
    1.14      "no_translations"
    1.15 +    "no_type_notation"
    1.16      "nonterminals"
    1.17      "notation"
    1.18      "note"
    1.19 @@ -189,6 +189,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      "types"
    1.27 @@ -348,7 +349,6 @@
    1.28      "abbreviation"
    1.29      "arities"
    1.30      "attribute_setup"
    1.31 -    "axclass"
    1.32      "axiomatization"
    1.33      "axioms"
    1.34      "class"
    1.35 @@ -385,6 +385,7 @@
    1.36      "no_notation"
    1.37      "no_syntax"
    1.38      "no_translations"
    1.39 +    "no_type_notation"
    1.40      "nonterminals"
    1.41      "notation"
    1.42      "oracle"
    1.43 @@ -404,6 +405,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"