src/Pure/Interface/proof_general.ML

 fun restart isar =
  (if isar then tell_clear_goals () else kill_goal ();
   tell_clear_response ();
   welcome ());
 
-fun restart_loader () = (ThyInfo.touch_all_thys (); ThyLoad.reset_path);
+fun restart_loader () = ThyInfo.touch_all_thys ();
 
 in
 
 fun isa_start () = restart false;
 fun isa_restart () = (restart_loader (); restart false);