Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated;
authorwenzelm
Thu, 04 Oct 2001 11:22:10 +0200
changeset 11661 37cfa9aad9c0
parent 11660 780ffc4d4600
child 11662 744399c9dd6a
updated;
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords.el	Thu Oct 04 00:53:27 2001 +0200
+++ b/etc/isar-keywords.el	Thu Oct 04 11:22:10 2001 +0200
@@ -99,6 +99,7 @@
     "print_commands"
     "print_context"
     "print_facts"
+    "print_induct_rules"
     "print_methods"
     "print_simpset"
     "print_syntax"
@@ -178,6 +179,7 @@
     "hints"
     "in"
     "induction"
+    "infix"
     "infixl"
     "infixr"
     "initially"
@@ -242,6 +244,7 @@
     "print_commands"
     "print_context"
     "print_facts"
+    "print_induct_rules"
     "print_methods"
     "print_simpset"
     "print_syntax"
isabelle