src/Pure/ROOT.ML
changeset 57934 5e500c0e7eca
parent 57926 59b2572e8e93
child 58009 987c848d509b
     1.1 --- a/src/Pure/ROOT.ML	Wed Aug 13 22:29:43 2014 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Thu Aug 14 10:48:40 2014 +0200
     1.3 @@ -310,7 +310,6 @@
     1.4  use "PIDE/document.ML";
     1.5  
     1.6  (*theory and proof operations*)
     1.7 -use "Thy/thm_deps.ML";
     1.8  use "Isar/isar_cmd.ML";
     1.9  
    1.10  use "subgoal.ML";