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 47057 12423b36fcc4
parent 46974 7ca3608146d8
child 47066 8a6124d09ff5 
--- a/etc/isar-keywords-ZF.el	Tue Mar 20 18:01:34 2012 +0100
+++ b/etc/isar-keywords-ZF.el	Tue Mar 20 20:00:13 2012 +0100
@@ -29,6 +29,7 @@
     "axiomatization"
     "axioms"
     "back"
+    "bundle"
     "by"
     "cannot_undo"
     "case"
@@ -76,6 +77,8 @@
     "hide_const"
     "hide_fact"
     "hide_type"
+    "include"
+    "including"
     "inductive"
     "inductive_cases"
     "init_toplevel"
@@ -120,6 +123,7 @@
     "print_ast_translation"
     "print_attributes"
     "print_binds"
+    "print_bundles"
     "print_cases"
     "print_claset"
     "print_classes"
@@ -287,6 +291,7 @@
     "print_antiquotations"
     "print_attributes"
     "print_binds"
+    "print_bundles"
     "print_cases"
     "print_claset"
     "print_classes"
@@ -342,6 +347,7 @@
     "attribute_setup"
     "axiomatization"
     "axioms"
+    "bundle"
     "class"
     "classes"
     "classrel"
@@ -458,6 +464,8 @@
 (defconst isar-keywords-proof-decl
   '("ML_prf"
     "also"
+    "include"
+    "including"
     "let"
     "moreover"
     "note"
isabelle