--- a/src/Pure/Pure.thy Sat Mar 30 13:40:19 2013 +0100
+++ b/src/Pure/Pure.thy Sat Mar 30 14:57:06 2013 +0100
@@ -75,7 +75,7 @@
and "back" :: prf_script % "proof"
and "Isabelle.command" :: control
and "help" "print_commands" "print_configs"
- "print_context" "print_theory" "print_syntax" "print_abbrevs"
+ "print_context" "print_theory" "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"