added nbe
authorhaftmann
Mon Feb 27 15:49:56 2006 +0100 (2006-02-27)
changeset 191491c31769f9796
parent 19148 f03a9a1cbe0e
child 19150 1457d810b408
added nbe
etc/isar-keywords-ZF.el
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords-ZF.el	Mon Feb 27 14:34:03 2006 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Mon Feb 27 15:49:56 2006 +0100
     1.3 @@ -36,7 +36,6 @@
     1.4      "cd"
     1.5      "chapter"
     1.6      "class"
     1.7 -    "class_exp"
     1.8      "classes"
     1.9      "classrel"
    1.10      "clear_undos"
    1.11 @@ -104,6 +103,7 @@
    1.12      "next"
    1.13      "no_syntax"
    1.14      "nonterminals"
    1.15 +    "norm_by_eval"
    1.16      "note"
    1.17      "obtain"
    1.18      "oops"
    1.19 @@ -372,6 +372,7 @@
    1.20      "method_setup"
    1.21      "no_syntax"
    1.22      "nonterminals"
    1.23 +    "norm_by_eval"
    1.24      "oracle"
    1.25      "parse_ast_translation"
    1.26      "parse_translation"
    1.27 @@ -399,8 +400,7 @@
    1.28      "inductive_cases"))
    1.29  
    1.30  (defconst isar-keywords-theory-goal
    1.31 -  '("class_exp"
    1.32 -    "corollary"
    1.33 +  '("corollary"
    1.34      "instance"
    1.35      "interpretation"
    1.36      "lemma"
     2.1 --- a/etc/isar-keywords.el	Mon Feb 27 14:34:03 2006 +0100
     2.2 +++ b/etc/isar-keywords.el	Mon Feb 27 15:49:56 2006 +0100
     2.3 @@ -39,7 +39,6 @@
     2.4      "cd"
     2.5      "chapter"
     2.6      "class"
     2.7 -    "class_exp"
     2.8      "classes"
     2.9      "classrel"
    2.10      "clear_undos"
    2.11 @@ -111,6 +110,7 @@
    2.12      "next"
    2.13      "no_syntax"
    2.14      "nonterminals"
    2.15 +    "norm_by_eval"
    2.16      "note"
    2.17      "obtain"
    2.18      "oops"
    2.19 @@ -407,6 +407,7 @@
    2.20      "method_setup"
    2.21      "no_syntax"
    2.22      "nonterminals"
    2.23 +    "norm_by_eval"
    2.24      "oracle"
    2.25      "parse_ast_translation"
    2.26      "parse_translation"
    2.27 @@ -438,7 +439,6 @@
    2.28  
    2.29  (defconst isar-keywords-theory-goal
    2.30    '("ax_specification"
    2.31 -    "class_exp"
    2.32      "corollary"
    2.33      "cpodef"
    2.34      "instance"