tuned store_theory;

--- a/src/Pure/Thy/thy_read.ML	Mon May 25 21:27:22 1998 +0200
+++ b/src/Pure/Thy/thy_read.ML	Mon May 25 21:28:07 1998 +0200
@@ -267,8 +267,7 @@
              Use.use ml_file);
 
        (*Store theory again because it could have been redefined*)
-       use_strings
-         ["val _ = store_theory (" ^ tname ^ ".thy, " ^ quote tname ^ ");"];
+       use_strings ["val _ = store_theory " ^ tname ^ ".thy;"];
 
        (*Add theory to list of all loaded theories (for index.html)
          and add it to its parents' sub-charts*)