1.1 --- a/src/Tools/isac/MathEngBasic/tactic.sml	Sun May 10 15:55:30 2020 +0200
     1.2 +++ b/src/Tools/isac/MathEngBasic/tactic.sml	Sun May 10 17:26:36 2020 +0200
     1.3 @@ -329,7 +329,7 @@
     1.4        term *             (* the current formula: [x=1,x=...]                 *)
     1.5        string *           (* the pred from Check_elementwise                  *)
     1.6        Celem.result       (* composed from (1) and (2): {x. pred}             *)
     1.7 -  | Derive' of Rule_Set.T(* for Generate.embed_deriv                         *)
     1.8 +  | Derive' of Rule_Set.T(* for Test_Out.embed_deriv                         *)
     1.9    | Empty_Tac_
    1.10    | Free_Solve'
    1.11    | Or_to_List' of term * term