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-ZF.el
changeset 19891 2857fac35e6d
parent 19854 9c1732a66b0b
child 20358 ccad73da6f61 
--- a/etc/isar-keywords-ZF.el	Wed Jun 14 12:14:42 2006 +0200
+++ b/etc/isar-keywords-ZF.el	Wed Jun 14 12:16:49 2006 +0200
@@ -41,13 +41,15 @@
     "clear_undos"
     "codatatype"
     "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"
@@ -348,13 +350,14 @@
     "classrel"
     "codatatype"
     "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"
@@ -406,7 +409,8 @@
     "inductive_cases"))
 
 (defconst isar-keywords-theory-goal
-  '("corollary"
+  '("code_simtype"
+    "corollary"
     "instance"
     "interpretation"
     "lemma"
isabelle