changeset 50442 | 4f6a4d32522c |
parent 48716 | 1d2a12bb0640 |
child 50485 | 3c6ac2da2f45 |
--- a/src/HOL/TPTP/atp_theory_export.ML Sat Dec 08 13:55:26 2012 +0100 +++ b/src/HOL/TPTP/atp_theory_export.ML Sat Dec 08 21:54:28 2012 +0100 @@ -123,7 +123,7 @@ val path = file_name |> Path.explode val _ = File.write path "" val facts = - Sledgehammer_Fact.all_facts (Proof_Context.init_global thy) false + Sledgehammer_Fact.all_facts (Proof_Context.init_global thy) true false Symtab.empty [] [] css_table val atp_problem = facts