src/Pure/ProofGeneral/preferences.ML

   val real_pref: real Unsynchronized.ref -> string -> string -> preference
   val int_pref: int Unsynchronized.ref -> string -> string -> preference
   val nat_pref: int Unsynchronized.ref -> string -> string -> preference
   val bool_pref: bool Unsynchronized.ref -> string -> string -> preference
   type T = (string * preference list) list
+  val thm_depsN: string
   val pure_preferences: T
   val remove: string -> T -> T
   val add: string -> preference -> T -> T
   val set_default: string * string -> T -> T
 end