src/HOL/HOL.thy
changeset 55239 97921d23ebe3
parent 54890 cb892d835803
child 55383 a416780523e2
     1.1 --- a/src/HOL/HOL.thy	Sat Feb 01 20:46:19 2014 +0100
     1.2 +++ b/src/HOL/HOL.thy	Sat Feb 01 21:09:53 2014 +0100
     1.3 @@ -1690,7 +1690,8 @@
     1.4  val trans = @{thm trans}
     1.5  *}
     1.6  
     1.7 -ML_file "Tools/cnf_funcs.ML"
     1.8 +ML_file "Tools/cnf.ML"
     1.9 +
    1.10  
    1.11  subsection {* Code generator setup *}
    1.12