
diff -r ff534238d9b8 -r 2373b4c61111 src/Pure/Pure.thy
--- a/src/Pure/Pure.thy	Mon Jun 30 10:10:32 2014 +0200
+++ b/src/Pure/Pure.thy	Mon Jun 30 10:34:28 2014 +0200
@@ -88,8 +88,6 @@
     "locale_deps" "class_deps" "thm_deps" "print_binds" "print_term_bindings"
     "print_facts" "print_cases" "print_statement" "thm" "prf" "full_prf"
     "prop" "term" "typ" "print_codesetup" "unused_thms" :: diag
-  and "cd" :: control
-  and "pwd" :: diag
   and "use_thy" "remove_thy" "kill_thy" :: control
   and "display_drafts" "print_state" "pr" :: diag
   and "pretty_setmargin" "disable_pr" "enable_pr" "commit" "quit" "exit" :: control




