Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added nbe
authorhaftmann
Mon, 27 Feb 2006 15:49:56 +0100
changeset 19149 1c31769f9796
parent 19148 f03a9a1cbe0e
child 19150 1457d810b408
added nbe
etc/isar-keywords-ZF.el file | annotate | diff | comparison | revisions
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords-ZF.el	Mon Feb 27 14:34:03 2006 +0100
+++ b/etc/isar-keywords-ZF.el	Mon Feb 27 15:49:56 2006 +0100
@@ -36,7 +36,6 @@
     "cd"
     "chapter"
     "class"
-    "class_exp"
     "classes"
     "classrel"
     "clear_undos"
@@ -104,6 +103,7 @@
     "next"
     "no_syntax"
     "nonterminals"
+    "norm_by_eval"
     "note"
     "obtain"
     "oops"
@@ -372,6 +372,7 @@
     "method_setup"
     "no_syntax"
     "nonterminals"
+    "norm_by_eval"
     "oracle"
     "parse_ast_translation"
     "parse_translation"
@@ -399,8 +400,7 @@
     "inductive_cases"))
 
 (defconst isar-keywords-theory-goal
-  '("class_exp"
-    "corollary"
+  '("corollary"
     "instance"
     "interpretation"
     "lemma"
--- a/etc/isar-keywords.el	Mon Feb 27 14:34:03 2006 +0100
+++ b/etc/isar-keywords.el	Mon Feb 27 15:49:56 2006 +0100
@@ -39,7 +39,6 @@
     "cd"
     "chapter"
     "class"
-    "class_exp"
     "classes"
     "classrel"
     "clear_undos"
@@ -111,6 +110,7 @@
     "next"
     "no_syntax"
     "nonterminals"
+    "norm_by_eval"
     "note"
     "obtain"
     "oops"
@@ -407,6 +407,7 @@
     "method_setup"
     "no_syntax"
     "nonterminals"
+    "norm_by_eval"
     "oracle"
     "parse_ast_translation"
     "parse_translation"
@@ -438,7 +439,6 @@
 
 (defconst isar-keywords-theory-goal
   '("ax_specification"
-    "class_exp"
     "corollary"
     "cpodef"
     "instance"
isabelle