etc/isar-keywords.el
changeset 19069 a4b956f8b233
parent 18888 3b643f81b378
child 19149 1c31769f9796
     1.1 --- a/etc/isar-keywords.el	Thu Feb 16 14:59:57 2006 +0100
     1.2 +++ b/etc/isar-keywords.el	Thu Feb 16 18:25:52 2006 +0100
     1.3 @@ -21,6 +21,7 @@
     1.4      "ProofGeneral\\.restart"
     1.5      "ProofGeneral\\.try_context_thy_only"
     1.6      "ProofGeneral\\.undo"
     1.7 +    "abbreviation"
     1.8      "also"
     1.9      "apply"
    1.10      "apply_end"
    1.11 @@ -38,6 +39,7 @@
    1.12      "cd"
    1.13      "chapter"
    1.14      "class"
    1.15 +    "class_exp"
    1.16      "classes"
    1.17      "classrel"
    1.18      "clear_undos"
    1.19 @@ -225,7 +227,6 @@
    1.20      "constrains"
    1.21      "contains"
    1.22      "defines"
    1.23 -    "depending_on"
    1.24      "distinct"
    1.25      "file"
    1.26      "fixes"
    1.27 @@ -362,6 +363,7 @@
    1.28  
    1.29  (defconst isar-keywords-theory-decl
    1.30    '("ML_setup"
    1.31 +    "abbreviation"
    1.32      "arities"
    1.33      "automaton"
    1.34      "axclass"
    1.35 @@ -436,6 +438,7 @@
    1.36  
    1.37  (defconst isar-keywords-theory-goal
    1.38    '("ax_specification"
    1.39 +    "class_exp"
    1.40      "corollary"
    1.41      "cpodef"
    1.42      "instance"