1.1 --- a/src/Tools/isac/MathEngine/mathengine-stateless.sml	Wed Apr 01 10:24:13 2020 +0200
     1.2 +++ b/src/Tools/isac/MathEngine/mathengine-stateless.sml	Wed Apr 01 12:42:39 2020 +0200
     1.3 @@ -7,17 +7,17 @@
     1.4  
     1.5  signature MATH_ENGINE =
     1.6  sig
     1.7 -  val autocalc : Ctree.pos' list -> Ctree.pos' -> (Calc.T) * Generate.taci list ->
     1.8 -    Solve.auto -> string * Ctree.pos' list * (Calc.T)
     1.9 +  val autocalc : Pos.pos' list -> Pos.pos' -> (Calc.T) * Generate.taci list ->
    1.10 +    Solve.auto -> string * Pos.pos' list * (Calc.T)
    1.11  
    1.12 -  val initcontext_met : Ctree.ctree -> Ctree.pos' -> bool * string list * Program.T * Model.itm list * (bool * term) list
    1.13 -  val initcontext_pbl : Ctree.ctree -> Ctree.pos' -> bool * string list * term * Model.itm list * (bool * term) list
    1.14 -  val context_met : Celem.metID -> Ctree.ctree -> Ctree.pos -> bool * Celem.metID * Program.T * Model.itm list * (bool * term) list
    1.15 -  val context_pbl : Celem.pblID -> Ctree.ctree -> Ctree.pos -> bool * Celem.pblID * term * Model.itm list * (bool * term) list
    1.16 +  val initcontext_met : Ctree.ctree -> Pos.pos' -> bool * string list * Program.T * Model.itm list * (bool * term) list
    1.17 +  val initcontext_pbl : Ctree.ctree -> Pos.pos' -> bool * string list * term * Model.itm list * (bool * term) list
    1.18 +  val context_met : Celem.metID -> Ctree.ctree -> Pos.pos -> bool * Celem.metID * Program.T * Model.itm list * (bool * term) list
    1.19 +  val context_pbl : Celem.pblID -> Ctree.ctree -> Pos.pos -> bool * Celem.pblID * term * Model.itm list * (bool * term) list
    1.20    val set_method : Celem.metID -> Calc.T -> Ctree.ctree * Ctree.ocalhd
    1.21    val set_problem : Celem.pblID -> Calc.T -> Ctree.ctree * Ctree.ocalhd
    1.22    val set_theory : Rule.thyID -> Calc.T -> Ctree.ctree * Ctree.ocalhd
    1.23 -  val tryrefine : Celem.pblID -> Ctree.ctree -> Ctree.pos' -> bool * Celem.pblID * term * Model.itm list * (bool * term) list
    1.24 +  val tryrefine : Celem.pblID -> Ctree.ctree -> Pos.pos' -> bool * Celem.pblID * term * Model.itm list * (bool * term) list
    1.25  (* ---- for tests only: shifted from below to remove the Warning "unused" at fun.def. --------- *)
    1.26    (*NONE*)
    1.27  (*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\* )