1.1 --- a/src/Tools/isac/MathEngBasic/specification-def.sml	Wed Jun 22 17:33:45 2022 +0200
     1.2 +++ b/src/Tools/isac/MathEngBasic/specification-def.sml	Wed Jun 22 19:26:18 2022 +0200
     1.3 @@ -15,13 +15,13 @@
     1.4  struct
     1.5  (**)
     1.6  
     1.7 -type T =
     1.8 -  bool *              (* I_Model.T andalso Pre_Conds.T      *)
     1.9 +type T =              (*                                     NOTES AT START PIDE-ADAPTION*)
    1.10 +  bool *              (* I_Model.T andalso Pre_Conds.T       ELIMINATE*)
    1.11    Pos.pos_ *          (* model belongs to Problem or MethodC *)
    1.12 -  term *              (* the headline shown on Calc.T       *)
    1.13 -  Model_Def.i_model * (* used by I_Model.T                  *)
    1.14 -  Pre_Conds_Def.T *   (* used by Pre_Conds.T                *)
    1.15 -  References_Def.T;   (* into Know_Store                    *)
    1.16 +  term *              (* the headline shown on Calc.T        NOT SPECIFIC FOR Pbl | Met*)
    1.17 +  Model_Def.i_model * (* used by I_Model.T                   *)
    1.18 +  Pre_Conds_Def.T *   (* used by Pre_Conds.T                 *)
    1.19 +  References_Def.T;   (* into Know_Store                     NOT SPECIFIC FOR Pbl | Met*)
    1.20  val empty =
    1.21    (false, Pos.Und, TermC.empty, [Model_Def.i_model_empty], [(false, TermC.empty)], References_Def.empty);
    1.22