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 keyword file
authorkrauss
Wed, 13 Sep 2006 12:40:39 +0200
changeset 20529 1ca27b3ed2e7
parent 20528 4ade644022dd
child 20530 448594cbd82b
Updated keyword file
etc/isar-keywords-HOL-Nominal.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords-HOL-Nominal.el	Wed Sep 13 12:37:13 2006 +0200
+++ b/etc/isar-keywords-HOL-Nominal.el	Wed Sep 13 12:40:39 2006 +0200
@@ -46,12 +46,10 @@
     "code_const"
     "code_constname"
     "code_gen"
-    "code_generate"
     "code_instance"
     "code_library"
     "code_module"
     "code_purge"
-    "code_serialize"
     "code_simtype"
     "code_type"
     "code_typename"
@@ -85,6 +83,7 @@
     "fix"
     "from"
     "full_prf"
+    "fun"
     "function"
     "global"
     "guess"
@@ -372,12 +371,10 @@
     "code_const"
     "code_constname"
     "code_gen"
-    "code_generate"
     "code_instance"
     "code_library"
     "code_module"
     "code_purge"
-    "code_serialize"
     "code_type"
     "code_typename"
     "coinductive"
@@ -393,6 +390,7 @@
     "extract"
     "extract_type"
     "finalconsts"
+    "fun"
     "global"
     "hide"
     "inductive"
isabelle