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 20697 12952535fc2c
parent 20586 548fd4cd2eb3
child 20832 c3828205f22d 
--- a/etc/isar-keywords-HOL-Nominal.el	Sun Sep 24 08:22:21 2006 +0200
+++ b/etc/isar-keywords-HOL-Nominal.el	Mon Sep 25 17:04:12 2006 +0200
@@ -48,6 +48,7 @@
     "code_constname"
     "code_gen"
     "code_instance"
+    "code_instname"
     "code_library"
     "code_module"
     "code_simtype"
@@ -375,6 +376,7 @@
     "code_const"
     "code_constname"
     "code_instance"
+    "code_instname"
     "code_library"
     "code_module"
     "code_type"
isabelle