1.1 --- a/src/Tools/isac/Interpret/inform.sml	Thu Dec 22 11:55:16 2016 +0100
     1.2 +++ b/src/Tools/isac/Interpret/inform.sml	Thu Dec 22 14:05:55 2016 +0100
     1.3 @@ -12,14 +12,14 @@
     1.4    val fetchErrorpatterns : Ctree.tac -> errpatID list
     1.5    val input_icalhd : Ctree.ctree -> icalhd -> Ctree.ctree * Ctree.ocalhd
     1.6    val inform : Chead.calcstate' -> string -> string * Chead.calcstate'
     1.7 -  val find_fillpatterns : Ctree.ctree * Ctree.pos' -> errpatID -> (fillpatID * term * thm * Ctree.subs option) list
     1.8 -  val is_exactly_equal : Ctree.ctree * Ctree.pos' -> string -> string * Ctree.tac
     1.9 +  val find_fillpatterns : Ctree.state -> errpatID -> (fillpatID * term * thm * Ctree.subs option) list
    1.10 +  val is_exactly_equal : Ctree.state -> string -> string * Ctree.tac
    1.11  
    1.12  (*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\* )
    1.13    val dropwhile' : ('a -> 'b -> bool) -> 'a list -> 'b list -> 'a list * 'b list
    1.14    val cas_input : term -> (Ctree.ctree * Ctree.ocalhd) option
    1.15    val rev_deriv' : 'a * rule * ('b * 'c) -> 'b * rule * ('a * 'c)
    1.16 -  val compare_step : Generate.taci list * Ctree.pos' list * (Ctree.ctree * Ctree.pos') -> term -> string * Chead.calcstate'
    1.17 +  val compare_step : Generate.taci list * Ctree.pos' list * (Ctree.state) -> term -> string * Chead.calcstate'
    1.18    val check_err_patt : term * term -> subst -> errpatID * term -> rls -> errpatID option
    1.19    val concat_deriv : 'a * ((term * term) list -> term * term -> bool) ->
    1.20      rls -> rule list -> term -> term -> bool * (term * rule * (term * term list)) list