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 19891 2857fac35e6d
parent 19854 9c1732a66b0b
child 20345 32ed5f5fee84 
--- a/etc/isar-keywords-HOL-Nominal.el	Wed Jun 14 12:14:42 2006 +0200
+++ b/etc/isar-keywords-HOL-Nominal.el	Wed Jun 14 12:16:49 2006 +0200
@@ -43,13 +43,15 @@
     "classrel"
     "clear_undos"
     "code_alias"
+    "code_classapp"
+    "code_constapp"
     "code_generate"
     "code_library"
     "code_module"
     "code_purge"
     "code_serialize"
-    "code_syntax_const"
-    "code_syntax_tyco"
+    "code_simtype"
+    "code_typapp"
     "coinductive"
     "commit"
     "const_syntax"
@@ -360,13 +362,14 @@
     "classes"
     "classrel"
     "code_alias"
+    "code_classapp"
+    "code_constapp"
     "code_generate"
     "code_library"
     "code_module"
     "code_purge"
     "code_serialize"
-    "code_syntax_const"
-    "code_syntax_tyco"
+    "code_typapp"
     "coinductive"
     "const_syntax"
     "constdefs"
@@ -424,6 +427,7 @@
 
 (defconst isar-keywords-theory-goal
   '("ax_specification"
+    "code_simtype"
     "corollary"
     "function"
     "instance"
isabelle