src/HOL/HOL.thy

--- a/src/HOL/HOL.thy	Sat Feb 01 20:46:19 2014 +0100
+++ b/src/HOL/HOL.thy	Sat Feb 01 21:09:53 2014 +0100
@@ -1690,7 +1690,8 @@
 val trans = @{thm trans}
 *}
 
-ML_file "Tools/cnf_funcs.ML"
+ML_file "Tools/cnf.ML"
+
 
 subsection {* Code generator setup *}