Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/isar-keywords-ZF.el
changeset 19854 9c1732a66b0b
parent 19797 a527b3e1076a
child 19891 2857fac35e6d 
--- a/etc/isar-keywords-ZF.el	Mon Jun 12 11:59:25 2006 +0200
+++ b/etc/isar-keywords-ZF.el	Mon Jun 12 15:58:12 2006 +0200
@@ -44,9 +44,6 @@
     "code_generate"
     "code_library"
     "code_module"
-    "code_primclass"
-    "code_primconst"
-    "code_primtyco"
     "code_purge"
     "code_serialize"
     "code_syntax_const"
@@ -107,7 +104,7 @@
     "no_syntax"
     "no_translations"
     "nonterminals"
-    "norm_by_eval"
+    "normal_form"
     "note"
     "obtain"
     "oops"
@@ -354,9 +351,6 @@
     "code_generate"
     "code_library"
     "code_module"
-    "code_primclass"
-    "code_primconst"
-    "code_primtyco"
     "code_purge"
     "code_serialize"
     "code_syntax_const"
@@ -384,7 +378,7 @@
     "no_syntax"
     "no_translations"
     "nonterminals"
-    "norm_by_eval"
+    "normal_form"
     "oracle"
     "parse_ast_translation"
     "parse_translation"
isabelle