1.1 --- a/src/Tools/isac/Specify/formalise.sml	Fri May 15 11:46:43 2020 +0200
     1.2 +++ b/src/Tools/isac/Specify/formalise.sml	Fri May 15 14:22:05 2020 +0200
     1.3 @@ -1,6 +1,11 @@
     1.4 -(* Title:  MathEngBasic/calc-tree-elem.sml
     1.5 +(* Title:  Specify/formalise.sml
     1.6     Author: Walther Neuper 191026
     1.7     (c) due to copyright terms
     1.8 +
     1.9 +A formalisation contains all data requred to solve a calculation.
    1.10 +Specifically in the root of a calculation the formalisation might contain items,
    1.11 +which are required by Subproblem's (e.g. "errorBound" in case an equation 
    1.12 +cannot be solved symbolically and thus is solved numerically)
    1.13  *)
    1.14  signature FORMALISE =
    1.15  sig