src/Pure/Thy/thy_read.ML
changeset 2188 6c217c071b97
parent 2030 474b3f208789
child 2244 dacee519738a
--- a/src/Pure/Thy/thy_read.ML	Thu Nov 14 14:38:51 1996 +0100
+++ b/src/Pure/Thy/thy_read.ML	Thu Nov 14 16:01:36 1996 +0100
@@ -1095,7 +1095,7 @@
       in case !cur_htmlfile of
              Some out =>
                (mk_theorems_title out;
-                output (out, "<EM>" ^ name ^ "</EM>\n<PRE>" ^
+                output (out, "<DD><EM>" ^ name ^ "</EM>\n<PRE>" ^
                              escape 
 			      (explode 
 			       (string_of_thm (#1 (freeze_thaw thm)))) ^