Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Changed freeze to freeze_thaw
authorpaulson
Thu, 26 Sep 1996 11:11:22 +0200
changeset 2030 474b3f208789
parent 2029 2fa4c4b1a7fe
child 2031 03a843f0f447
Changed freeze to freeze_thaw
src/Pure/Thy/thy_read.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/thy_read.ML	Thu Sep 26 11:10:46 1996 +0200
+++ b/src/Pure/Thy/thy_read.ML	Thu Sep 26 11:11:22 1996 +0200
@@ -1096,7 +1096,9 @@
              Some out =>
                (mk_theorems_title out;
                 output (out, "<EM>" ^ name ^ "</EM>\n<PRE>" ^
-                             escape (explode (string_of_thm (freeze thm))) ^
+                             escape 
+			      (explode 
+			       (string_of_thm (#1 (freeze_thaw thm)))) ^
                              "</PRE><P>\n")
                )
            | None => ()
isabelle