updated;
authorwenzelm
Wed Feb 01 22:20:40 2006 +0100 (2006-02-01)
changeset 188883b643f81b378
parent 18887 6ad81e3fa478
child 18889 da6e27ee69e5
updated;
etc/isar-keywords-ZF.el
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords-ZF.el	Wed Feb 01 19:19:32 2006 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Wed Feb 01 22:20:40 2006 +0100
     1.3 @@ -35,13 +35,11 @@
     1.4      "cd"
     1.5      "chapter"
     1.6      "class"
     1.7 -    "class_instance"
     1.8      "classes"
     1.9      "classrel"
    1.10      "clear_undos"
    1.11      "codatatype"
    1.12      "code_alias"
    1.13 -    "code_class"
    1.14      "code_generate"
    1.15      "code_library"
    1.16      "code_module"
    1.17 @@ -216,7 +214,6 @@
    1.18      "domains"
    1.19      "elimination"
    1.20      "file"
    1.21 -    "files"
    1.22      "fixes"
    1.23      "imports"
    1.24      "in"
    1.25 @@ -229,6 +226,7 @@
    1.26      "is"
    1.27      "monos"
    1.28      "notes"
    1.29 +    "obtains"
    1.30      "open"
    1.31      "output"
    1.32      "overloaded"
    1.33 @@ -342,7 +340,6 @@
    1.34      "classrel"
    1.35      "codatatype"
    1.36      "code_alias"
    1.37 -    "code_class"
    1.38      "code_generate"
    1.39      "code_library"
    1.40      "code_module"
    1.41 @@ -400,8 +397,7 @@
    1.42      "inductive_cases"))
    1.43  
    1.44  (defconst isar-keywords-theory-goal
    1.45 -  '("class_instance"
    1.46 -    "corollary"
    1.47 +  '("corollary"
    1.48      "instance"
    1.49      "interpretation"
    1.50      "lemma"
     2.1 --- a/etc/isar-keywords.el	Wed Feb 01 19:19:32 2006 +0100
     2.2 +++ b/etc/isar-keywords.el	Wed Feb 01 22:20:40 2006 +0100
     2.3 @@ -38,12 +38,10 @@
     2.4      "cd"
     2.5      "chapter"
     2.6      "class"
     2.7 -    "class_instance"
     2.8      "classes"
     2.9      "classrel"
    2.10      "clear_undos"
    2.11      "code_alias"
    2.12 -    "code_class"
    2.13      "code_generate"
    2.14      "code_library"
    2.15      "code_module"
    2.16 @@ -230,7 +228,6 @@
    2.17      "depending_on"
    2.18      "distinct"
    2.19      "file"
    2.20 -    "files"
    2.21      "fixes"
    2.22      "hide_action"
    2.23      "hints"
    2.24 @@ -251,6 +248,7 @@
    2.25      "monos"
    2.26      "morphisms"
    2.27      "notes"
    2.28 +    "obtains"
    2.29      "open"
    2.30      "output"
    2.31      "outputs"
    2.32 @@ -373,7 +371,6 @@
    2.33      "classes"
    2.34      "classrel"
    2.35      "code_alias"
    2.36 -    "code_class"
    2.37      "code_generate"
    2.38      "code_library"
    2.39      "code_module"
    2.40 @@ -439,7 +436,6 @@
    2.41  
    2.42  (defconst isar-keywords-theory-goal
    2.43    '("ax_specification"
    2.44 -    "class_instance"
    2.45      "corollary"
    2.46      "cpodef"
    2.47      "instance"