updated;
authorwenzelm
Thu Feb 16 18:25:52 2006 +0100 (2006-02-16)
changeset 19069a4b956f8b233
parent 19068 04b302f2902d
child 19070 99001616e0e2
updated;
etc/isar-keywords-ZF.el
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords-ZF.el	Thu Feb 16 14:59:57 2006 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Thu Feb 16 18:25:52 2006 +0100
     1.3 @@ -20,6 +20,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 @@ -35,6 +36,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 @@ -210,7 +212,6 @@
    1.20      "constrains"
    1.21      "contains"
    1.22      "defines"
    1.23 -    "depending_on"
    1.24      "domains"
    1.25      "elimination"
    1.26      "file"
    1.27 @@ -331,6 +332,7 @@
    1.28  
    1.29  (defconst isar-keywords-theory-decl
    1.30    '("ML_setup"
    1.31 +    "abbreviation"
    1.32      "arities"
    1.33      "axclass"
    1.34      "axiomatization"
    1.35 @@ -397,7 +399,8 @@
    1.36      "inductive_cases"))
    1.37  
    1.38  (defconst isar-keywords-theory-goal
    1.39 -  '("corollary"
    1.40 +  '("class_exp"
    1.41 +    "corollary"
    1.42      "instance"
    1.43      "interpretation"
    1.44      "lemma"
     2.1 --- a/etc/isar-keywords.el	Thu Feb 16 14:59:57 2006 +0100
     2.2 +++ b/etc/isar-keywords.el	Thu Feb 16 18:25:52 2006 +0100
     2.3 @@ -21,6 +21,7 @@
     2.4      "ProofGeneral\\.restart"
     2.5      "ProofGeneral\\.try_context_thy_only"
     2.6      "ProofGeneral\\.undo"
     2.7 +    "abbreviation"
     2.8      "also"
     2.9      "apply"
    2.10      "apply_end"
    2.11 @@ -38,6 +39,7 @@
    2.12      "cd"
    2.13      "chapter"
    2.14      "class"
    2.15 +    "class_exp"
    2.16      "classes"
    2.17      "classrel"
    2.18      "clear_undos"
    2.19 @@ -225,7 +227,6 @@
    2.20      "constrains"
    2.21      "contains"
    2.22      "defines"
    2.23 -    "depending_on"
    2.24      "distinct"
    2.25      "file"
    2.26      "fixes"
    2.27 @@ -362,6 +363,7 @@
    2.28  
    2.29  (defconst isar-keywords-theory-decl
    2.30    '("ML_setup"
    2.31 +    "abbreviation"
    2.32      "arities"
    2.33      "automaton"
    2.34      "axclass"
    2.35 @@ -436,6 +438,7 @@
    2.36  
    2.37  (defconst isar-keywords-theory-goal
    2.38    '("ax_specification"
    2.39 +    "class_exp"
    2.40      "corollary"
    2.41      "cpodef"
    2.42      "instance"