1.1 --- a/src/Tools/isac/MathEngBasic/ctree-basic.sml	Mon May 11 11:38:52 2020 +0200
     1.2 +++ b/src/Tools/isac/MathEngBasic/ctree-basic.sml	Mon May 11 12:25:52 2020 +0200
     1.3 @@ -77,7 +77,7 @@
     1.4    val new_val : term -> Istate_Def.T -> Istate_Def.T
     1.5    (* for calchead.sml *)
     1.6    type cid = cellID list
     1.7 -  type ocalhd = bool * Pos.pos_ * term * Model_Def.i_model * (bool * term) list * Spec.T
     1.8 +  type ocalhd = bool * Pos.pos_ * term * Model_Def.i_model * Pre_Conds_Def.T * Spec.T
     1.9    datatype ptform = Form of term | ModSpec of ocalhd
    1.10    val get_somespec' : Spec.T -> Spec.T -> Spec.T
    1.11    exception PTREE of string;
    1.12 @@ -439,7 +439,7 @@
    1.13    pos_ *                (* model belongs to Problem | Method                                   *)
    1.14    term *                (* header: Problem ... or Cas FIXME.0312: item for marking syntaxerrors*)
    1.15    Model_Def.i_model *      (* model: given, find, relate                                          *)
    1.16 -  ((bool * term) list) *(* model: preconds                                                     *)
    1.17 +  (Pre_Conds_Def.T) *(* model: preconds                                                     *)
    1.18    Spec.T;           (* specification                                                       *)
    1.19  val e_ocalhd = (false, Und, TermC.empty, [Model_Def.i_model_empty], [(false, TermC.empty)], Spec.empty);
    1.20