diff -r a1a8248a4677 -r 802576856527 src/Pure/Pure.thy
--- a/src/Pure/Pure.thy	Sun Jul 07 18:04:46 2013 +0200
+++ b/src/Pure/Pure.thy	Sun Jul 07 18:34:29 2013 +0200
@@ -88,7 +88,7 @@
   and "cd" :: control
   and "pwd" :: diag
   and "use_thy" "remove_thy" "kill_thy" :: control
-  and "display_drafts" "print_drafts" "print_state" "pr" :: diag
+  and "display_drafts" "print_state" "pr" :: diag
   and "pretty_setmargin" "disable_pr" "enable_pr" "commit" "quit" "exit" :: control
   and "welcome" :: diag
   and "init_toplevel" "linear_undo" "undo" "undos_proof" "cannot_undo" "kill" :: control