renamed temporary variable 'base' to 'thy' in mk_structure
authorclasohm
Wed Sep 07 10:43:30 1994 +0200 (1994-09-07)
changeset 5873ba470399605
parent 586 201e115d8031
child 588 91d5ac5ebb17
renamed temporary variable 'base' to 'thy' in mk_structure
src/Pure/Thy/thy_parse.ML
     1.1 --- a/src/Pure/Thy/thy_parse.ML	Tue Sep 06 14:44:10 1994 +0200
     1.2 +++ b/src/Pure/Thy/thy_parse.ML	Wed Sep 07 10:43:30 1994 +0200
     1.3 @@ -389,7 +389,7 @@
     1.4    else
     1.5      (case opt_txts of
     1.6        Some (extxt, postxt, mltxt) =>
     1.7 -        "val base = " ^ old_thys ^ " true;\n\n\
     1.8 +        "val thy = " ^ old_thys ^ " true;\n\n\
     1.9          \structure " ^ thy_name ^ " =\n\
    1.10          \struct\n\
    1.11          \\n\
    1.12 @@ -399,7 +399,7 @@
    1.13          \\n"
    1.14          ^ mltxt ^ "\n\
    1.15          \\n\
    1.16 -        \val thy = base\n\n\
    1.17 +        \val thy = thy\n\n\
    1.18          \|> add_trfuns\n"
    1.19          ^ trfun_args ^ "\n\
    1.20          \\n"
    1.21 @@ -413,11 +413,11 @@
    1.22          \end;\n\
    1.23          \end;\n"
    1.24      | None =>
    1.25 -        "val base = " ^ old_thys ^ " false;\n\n\
    1.26 +        "val thy = " ^ old_thys ^ " false;\n\n\
    1.27          \structure " ^ thy_name ^ " =\n\
    1.28          \struct\n\
    1.29          \\n\
    1.30 -        \val thy = base\n\
    1.31 +        \val thy = thy\n\
    1.32          \\n\
    1.33          \end;\n");
    1.34