Mercurial Mercurial > hg > nominal2 / 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.
isar-keywords-prove.el
changeset 184 f3c192574d2a
parent 78 2374d50fc6dd
child 186 9ca545f783f6 
--- a/isar-keywords-prove.el	Sun Oct 25 01:15:03 2009 +0200
+++ b/isar-keywords-prove.el	Sun Oct 25 01:31:04 2009 +0200
@@ -1,6 +1,6 @@
 ;;
 ;; Keyword classification tables for Isabelle/Isar.
-;; Generated from Pure + HOL + Pure-ProofGeneral + HOL-Nominal-Prove.
+;; Generated from Pure + HOL + Pure-ProofGeneral + HOL-Nominal-test.
 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
 ;;
 
@@ -161,10 +161,12 @@
     "print_drafts"
     "print_facts"
     "print_induct_rules"
+    "print_interps"
     "print_locale"
     "print_locales"
     "print_methods"
     "print_orders"
+    "print_quotients"
     "print_rules"
     "print_simpset"
     "print_statement"
@@ -344,10 +346,12 @@
     "print_drafts"
     "print_facts"
     "print_induct_rules"
+    "print_interps"
     "print_locale"
     "print_locales"
     "print_methods"
     "print_orders"
+    "print_quotients"
     "print_rules"
     "print_simpset"
     "print_statement"
nominal2