1.1 --- a/src/Tools/isac/Interpret/mathengine.sml	Wed Jul 03 15:09:16 2019 +0200
     1.2 +++ b/src/Tools/isac/Interpret/mathengine.sml	Wed Jul 03 15:30:31 2019 +0200
     1.3 @@ -17,9 +17,9 @@
     1.4    val detailstep : Ctree.ctree -> Ctree.pos' -> string * Ctree.ctree * Ctree.pos'
     1.5    val get_pblID : Ctree.state -> Celem.pblID option
     1.6  
     1.7 -  val initcontext_met : Ctree.ctree -> Ctree.pos' -> bool * string list * Rule.scr * Model.itm list * (bool * term) list
     1.8 +  val initcontext_met : Ctree.ctree -> Ctree.pos' -> bool * string list * Rule.program * Model.itm list * (bool * term) list
     1.9    val initcontext_pbl : Ctree.ctree -> Ctree.pos' -> bool * string list * term * Model.itm list * (bool * term) list
    1.10 -  val context_met : Celem.metID -> Ctree.ctree -> Ctree.pos -> bool * Celem.metID * Rule.scr * Model.itm list * (bool * term) list
    1.11 +  val context_met : Celem.metID -> Ctree.ctree -> Ctree.pos -> bool * Celem.metID * Rule.program * Model.itm list * (bool * term) list
    1.12    val context_pbl : Celem.pblID -> Ctree.ctree -> Ctree.pos -> bool * Celem.pblID * term * Model.itm list * (bool * term) list
    1.13    val set_method : Celem.metID -> Ctree.state -> Ctree.ctree * Ctree.ocalhd
    1.14    val set_problem : Celem.pblID -> Ctree.state -> Ctree.ctree * Ctree.ocalhd