Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/ex/tptp_export.ML
changeset 43128 a19826080596
parent 43110 99bf2b38d3ef
child 43214 4e850b2c1f5c 
--- a/src/HOL/ex/tptp_export.ML	Wed Jun 01 10:29:43 2011 +0200
+++ b/src/HOL/ex/tptp_export.ML	Wed Jun 01 10:29:43 2011 +0200
@@ -95,7 +95,7 @@
           (ATP_Translate.Polymorphic,
            if full_types then ATP_Translate.All_Types
            else ATP_Translate.Const_Arg_Types,
-           ATP_Translate.Heavy)
+           ATP_Translate.Heavyweight)
     val path = file_name |> Path.explode
     val _ = File.write path ""
     val facts0 = facts_of thy
isabelle