changeset 48130 | defbcdc60fd6 |
parent 48129 | 933d43c31689 |
child 48131 | 1016664b8feb |
--- a/src/HOL/TPTP/atp_theory_export.ML Tue Jun 26 11:14:39 2012 +0200 +++ b/src/HOL/TPTP/atp_theory_export.ML Tue Jun 26 11:14:39 2012 +0200 @@ -174,7 +174,7 @@ let val type_enc = type_enc |> type_enc_from_string Strict |> adjust_type_enc format - val mono = polymorphism_of_type_enc type_enc <> Polymorphic + val mono = polymorphism_of_type_enc type_enc <> Raw_Polymorphic val path = file_name |> Path.explode val _ = File.write path "" val facts = facts_of thy