src/HOL/TPTP/CASC_Setup.thy
changeset 47790 2e1636e45770
parent 46365 547d1a1dcaf6
--- a/src/HOL/TPTP/CASC_Setup.thy	Fri Apr 27 14:07:31 2012 +0200
+++ b/src/HOL/TPTP/CASC_Setup.thy	Fri Apr 27 15:24:37 2012 +0200
@@ -9,7 +9,7 @@
 
 theory CASC_Setup
 imports Complex_Main
-uses "../ex/sledgehammer_tactics.ML"
+uses "sledgehammer_tactics.ML"
 begin
 
 consts