changeset 3631 | 88a279998f90 |
parent 3626 | d91708377b6a |
child 3765 | 6a4f3b976db3 |
--- a/src/Pure/Thy/thy_read.ML Wed Aug 06 14:35:52 1997 +0200 +++ b/src/Pure/Thy/thy_read.ML Wed Aug 06 14:42:44 1997 +0200 @@ -314,7 +314,7 @@ save_data false; (*Store theory again because it could have been redefined*) - use_string + use_strings ["val _ = store_theory (" ^ tname ^ ".thy, " ^ quote tname ^ ");"]; (*Add theory to list of all loaded theories (for index.html)