src/Pure/Thy/thy_info.ML

   val the_theory: string -> theory -> theory
   val loaded_files: string -> Path.T list
   val get_parents: string -> string list
   val pretty_theory: theory -> Pretty.T
   val touch_child_thys: string -> unit
-  val touch_all_thys: unit -> unit
   val load_file: bool -> Path.T -> unit
   val use: string -> unit
   val time_use: string -> unit
   val use_thys: string list -> unit
   val use_thy: string -> unit

 fun touch_thys names =
   List.app outdate_thy (thy_graph Graph.all_succs (map_filter check_unfinished names));
 
 fun touch_thy name = touch_thys [name];
 fun touch_child_thys name = touch_thys (thy_graph Graph.imm_succs name);
-
-fun touch_all_thys () = List.app outdate_thy (get_names ());
 
 end;
 
 
 (* load_file *)