1.1 --- a/src/Tools/isac/MathEngBasic/rewrite.sml	Tue Apr 28 19:39:06 2020 +0200
     1.2 +++ b/src/Tools/isac/MathEngBasic/rewrite.sml	Wed Apr 29 09:03:01 2020 +0200
     1.3 @@ -4,7 +4,7 @@
     1.4  
     1.5  signature REWRITE =
     1.6  sig
     1.7 -  val calculate_: theory -> string * Exec_Def.eval_fn -> term -> (term * (string * thm)) option
     1.8 +  val calculate_: theory -> string * Eval_Def.eval_fn -> term -> (term * (string * thm)) option
     1.9    val eval__true: theory -> int -> term list -> (term * term) list -> Rule_Set.T -> term list * bool
    1.10    val eval_prog_expr: theory -> Rule_Set.T -> term -> term
    1.11    val eval_true_: theory -> Rule_Set.T -> term -> bool