src/Pure/Isar/isar_syn.ML

--- a/src/Pure/Isar/isar_syn.ML	Thu Apr 16 13:39:21 2015 +0200
+++ b/src/Pure/Isar/isar_syn.ML	Thu Apr 16 13:48:10 2015 +0200
@@ -800,10 +800,6 @@
       Toplevel.keep (ML_Context.print_antiquotations b o Toplevel.context_of)));
 
 val _ =
-  Outer_Syntax.command @{command_keyword thy_deps} "visualize theory dependencies"
-    (Scan.succeed Isar_Cmd.thy_deps);
-
-val _ =
   Outer_Syntax.command @{command_keyword locale_deps} "visualize locale dependencies"
     (Scan.succeed Isar_Cmd.locale_deps);