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.
src/Pure/Pure.thy
changeset 61252 c165f0472d57
parent 60957 574254152856
child 61337 4645502c3c64 
--- a/src/Pure/Pure.thy	Tue Sep 22 18:06:49 2015 +0200
+++ b/src/Pure/Pure.thy	Tue Sep 22 18:56:25 2015 +0200
@@ -74,8 +74,8 @@
   and "also" "moreover" :: prf_decl % "proof"
   and "finally" "ultimately" :: prf_chain % "proof"
   and "back" :: prf_script % "proof"
-  and "help" "print_commands" "print_options" "print_context"
-    "print_theory" "print_syntax" "print_abbrevs" "print_defn_rules"
+  and "help" "print_commands" "print_options" "print_context" "print_theory"
+    "print_definitions" "print_syntax" "print_abbrevs" "print_defn_rules"
     "print_theorems" "print_locales" "print_classes" "print_locale"
     "print_interps" "print_dependencies" "print_attributes"
     "print_simpset" "print_rules" "print_trans_rules" "print_methods"
isabelle