src/Pure/ProofGeneral/preferences.ML

--- a/src/Pure/ProofGeneral/preferences.ML	Mon May 13 21:42:27 2013 +0200
+++ b/src/Pure/ProofGeneral/preferences.ML	Mon May 13 22:00:19 2013 +0200
@@ -26,6 +26,7 @@
   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