src/Pure/Isar/isar_syn.ML

     (P.name >> (Toplevel.no_timing oo IsarCmd.use_thy));
 
 val touch_thyP =
   OuterSyntax.improper_command "touch_thy" "outdate theory, including descendants" K.diag
     (P.name >> (Toplevel.no_timing oo IsarCmd.touch_thy));
-
-val touch_all_thysP =
-  OuterSyntax.improper_command "touch_all_thys" "outdate all non-finished theories" K.diag
-    (Scan.succeed (Toplevel.no_timing o IsarCmd.touch_all_thys));
 
 val touch_child_thysP =
   OuterSyntax.improper_command "touch_child_thys" "outdate child theories" K.diag
     (P.name >> (Toplevel.no_timing oo IsarCmd.touch_child_thys));
 

   thy_depsP, class_depsP, thm_depsP, find_theoremsP, print_bindsP,
   print_casesP, print_stmtsP, print_thmsP, print_prfsP,
   print_full_prfsP, print_propP, print_termP, print_typeP,
   print_codesetupP,
   (*system commands*)
-  cdP, pwdP, use_thyP, touch_thyP, touch_all_thysP, touch_child_thysP,
-  remove_thyP, kill_thyP, display_draftsP, print_draftsP, prP,
-  disable_prP, enable_prP, commitP, quitP, exitP, init_toplevelP,
-  welcomeP];
+  cdP, pwdP, use_thyP, touch_thyP, touch_child_thysP, remove_thyP,
+  kill_thyP, display_draftsP, print_draftsP, prP, disable_prP,
+  enable_prP, commitP, quitP, exitP, init_toplevelP, welcomeP];
 
 end;