src/Pure/Thy/thy_info.ML

   val time_use: string -> unit
   val touch_thy: string -> unit
   val use_thy: string -> unit
   val update_thy: string -> unit
   val time_use_thy: string -> unit
+  val use_thy_only: string -> unit
 end;
 
 signature THY_INFO =
 sig
   include BASIC_THY_INFO

   val put_theory: theory -> unit
   val loaded_files: string -> (Path.T * File.info) list
   val load_file: bool -> Path.T -> unit
   val use_path: Path.T -> unit
   val use: string -> unit
-  val use_thy_only: string -> unit
   val begin_theory: string -> string list -> (Path.T * bool) list -> theory
   val end_theory: theory -> theory
   val finalize_all: unit -> unit
   val register_theory: theory -> unit
 end;