changeset 51998 | f732a674db1b |
parent 51575 | 907efc894051 |
child 52031 | 9a9238342963 |
--- a/src/HOL/Tools/Metis/metis_generate.ML Wed May 15 17:27:24 2013 +0200 +++ b/src/HOL/Tools/Metis/metis_generate.ML Wed May 15 17:43:42 2013 +0200 @@ -246,7 +246,7 @@ false false [] @{prop False} props (* val _ = tracing ("ATP PROBLEM: " ^ - cat_lines (lines_for_atp_problem CNF atp_problem)) + cat_lines (lines_of_atp_problem CNF atp_problem)) *) (* "rev" is for compatibility with existing proof scripts. *) val axioms =