1.1 --- a/src/Tools/isac/MathEngBasic/state-steps.sml	Thu May 14 15:06:18 2020 +0200
     1.2 +++ b/src/Tools/isac/MathEngBasic/state-steps.sml	Thu May 14 16:08:41 2020 +0200
     1.3 @@ -30,7 +30,7 @@
     1.4  (* a single holds alle information required to build a node in the calc-tree;
     1.5     a single is assumed to be used efficiently such that the calc-tree
     1.6     resulting from applying a single need not be stored separately;
     1.7 -   see "type calcstate" *)
     1.8 +   see "type Calc.state_pre" *)
     1.9  (*TODO.WN0504 redesign ??? or redesign generate ?? see "fun generate"
    1.10    TODO.WN0512 ? redesign this _list_:
    1.11    # only used for [Apply_Method + (Take or Subproblem)], i.e. for initacs