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.
updated keywords
authorhaftmann
Mon, 12 Jun 2006 15:58:12 +0200
changeset 19854 9c1732a66b0b
parent 19853 cb73c3c367db
child 19855 ee5cd747c10a
updated keywords
etc/isar-keywords-HOL-Nominal.el file | annotate | diff | comparison | revisions
etc/isar-keywords-ZF.el file | annotate | diff | comparison | revisions
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords-HOL-Nominal.el	Mon Jun 12 11:59:25 2006 +0200
+++ b/etc/isar-keywords-HOL-Nominal.el	Mon Jun 12 15:58:12 2006 +0200
@@ -46,9 +46,6 @@
     "code_generate"
     "code_library"
     "code_module"
-    "code_primclass"
-    "code_primconst"
-    "code_primtyco"
     "code_purge"
     "code_serialize"
     "code_syntax_const"
@@ -112,7 +109,7 @@
     "no_translations"
     "nominal_datatype"
     "nonterminals"
-    "norm_by_eval"
+    "normal_form"
     "note"
     "obtain"
     "oops"
@@ -366,9 +363,6 @@
     "code_generate"
     "code_library"
     "code_module"
-    "code_primclass"
-    "code_primconst"
-    "code_primtyco"
     "code_purge"
     "code_serialize"
     "code_syntax_const"
@@ -398,7 +392,7 @@
     "no_translations"
     "nominal_datatype"
     "nonterminals"
-    "norm_by_eval"
+    "normal_form"
     "oracle"
     "parse_ast_translation"
     "parse_translation"
--- 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"
--- a/etc/isar-keywords.el	Mon Jun 12 11:59:25 2006 +0200
+++ b/etc/isar-keywords.el	Mon Jun 12 15:58:12 2006 +0200
@@ -46,9 +46,6 @@
     "code_generate"
     "code_library"
     "code_module"
-    "code_primclass"
-    "code_primconst"
-    "code_primtyco"
     "code_purge"
     "code_serialize"
     "code_syntax_const"
@@ -115,7 +112,7 @@
     "no_syntax"
     "no_translations"
     "nonterminals"
-    "norm_by_eval"
+    "normal_form"
     "note"
     "obtain"
     "oops"
@@ -387,9 +384,6 @@
     "code_generate"
     "code_library"
     "code_module"
-    "code_primclass"
-    "code_primconst"
-    "code_primtyco"
     "code_purge"
     "code_serialize"
     "code_syntax_const"
@@ -421,7 +415,7 @@
     "no_syntax"
     "no_translations"
     "nonterminals"
-    "norm_by_eval"
+    "normal_form"
     "oracle"
     "parse_ast_translation"
     "parse_translation"
isabelle