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-HOL-Nominal.el
changeset 20453 855f07fabd76
parent 20424 d5b4b55ad277
child 20529 1ca27b3ed2e7 
--- a/etc/isar-keywords-HOL-Nominal.el	Thu Aug 31 23:01:16 2006 +0200
+++ b/etc/isar-keywords-HOL-Nominal.el	Fri Sep 01 08:36:51 2006 +0200
@@ -43,8 +43,9 @@
     "classrel"
     "clear_undos"
     "code_class"
-    "code_constapp"
+    "code_const"
     "code_constname"
+    "code_gen"
     "code_generate"
     "code_instance"
     "code_library"
@@ -52,7 +53,7 @@
     "code_purge"
     "code_serialize"
     "code_simtype"
-    "code_typapp"
+    "code_type"
     "code_typename"
     "coinductive"
     "commit"
@@ -368,15 +369,16 @@
     "classes"
     "classrel"
     "code_class"
-    "code_constapp"
+    "code_const"
     "code_constname"
+    "code_gen"
     "code_generate"
     "code_instance"
     "code_library"
     "code_module"
     "code_purge"
     "code_serialize"
-    "code_typapp"
+    "code_type"
     "code_typename"
     "coinductive"
     "const_syntax"
isabelle