diff -r 201e115d8031 -r 3ba470399605 src/Pure/Thy/thy_parse.ML
--- a/src/Pure/Thy/thy_parse.ML	Tue Sep 06 14:44:10 1994 +0200
+++ b/src/Pure/Thy/thy_parse.ML	Wed Sep 07 10:43:30 1994 +0200
@@ -389,7 +389,7 @@
   else
     (case opt_txts of
       Some (extxt, postxt, mltxt) =>
-        "val base = " ^ old_thys ^ " true;\n\n\
+        "val thy = " ^ old_thys ^ " true;\n\n\
         \structure " ^ thy_name ^ " =\n\
         \struct\n\
         \\n\
@@ -399,7 +399,7 @@
         \\n"
         ^ mltxt ^ "\n\
         \\n\
-        \val thy = base\n\n\
+        \val thy = thy\n\n\
         \|> add_trfuns\n"
         ^ trfun_args ^ "\n\
         \\n"
@@ -413,11 +413,11 @@
         \end;\n\
         \end;\n"
     | None =>
-        "val base = " ^ old_thys ^ " false;\n\n\
+        "val thy = " ^ old_thys ^ " false;\n\n\
         \structure " ^ thy_name ^ " =\n\
         \struct\n\
         \\n\
-        \val thy = base\n\
+        \val thy = thy\n\
         \\n\
         \end;\n");