# HG changeset patch
# User paulson
# Date 843729082 -7200
# Node ID 474b3f208789031d17a058244b198a7c5570949c
# Parent  2fa4c4b1a7fe656da001d4e7ace88e5505e77d9b
Changed freeze to freeze_thaw

diff -r 2fa4c4b1a7fe -r 474b3f208789 src/Pure/Thy/thy_read.ML
--- 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 => ()