unused since 15865e0c5598;

--- a/src/Pure/theory.ML	Mon Nov 07 14:55:39 2016 +0100
+++ b/src/Pure/theory.ML	Mon Nov 07 19:07:30 2016 +0100
@@ -220,9 +220,6 @@
 
 fun dependencies (context as (ctxt, _)) unchecked def description lhs rhs =
   let
-    val thy = Proof_Context.theory_of ctxt;
-    val consts = Sign.consts_of thy;
-
     fun prep (item, args) =
       (case fold Term.add_tvarsT args [] of
         [] => (item, map Logic.varifyT_global args)