src/HOL/BNF_Util.thy

--- a/src/HOL/BNF_Util.thy	Mon Jan 20 18:24:56 2014 +0100
+++ b/src/HOL/BNF_Util.thy	Mon Jan 20 18:24:56 2014 +0100
@@ -30,7 +30,7 @@
 
 definition "Grp A f = (\<lambda>a b. b = f a \<and> a \<in> A)"
 
-ML_file "Tools/bnf_util.ML"
-ML_file "Tools/bnf_tactics.ML"
+ML_file "Tools/BNF/bnf_util.ML"
+ML_file "Tools/BNF/bnf_tactics.ML"
 
 end