1.1 --- a/test/Tools/isac/Interpret/inform.sml	Thu Jul 24 15:44:50 2014 +0200
     1.2 +++ b/test/Tools/isac/Interpret/inform.sml	Thu Jul 24 17:22:21 2014 +0200
     1.3 @@ -1211,7 +1211,8 @@
     1.4    val (Form f, _, asms) = pt_extract (pt, p);
     1.5  
     1.6    if p = ([1], Res) andalso term2str f = "d_d x (x ^^^ 2) + d_d x (sin (x ^^^ 4))" andalso
     1.7 -    get_obj g_tac pt (fst p) = Rewrite_Inst (["(bdv, x)"], ("diff_sum", "Diff.diff_sum"(*?!?*)))
     1.8 +    get_obj g_tac pt (fst p) = Rewrite_Inst (["(bdv, x)"], 
     1.9 +      ("diff_sum", "d_d ?bdv (?u + ?v) = d_d ?bdv ?u + d_d ?bdv ?v"))
    1.10    then () else error "embed fun get_fillform changed 1";
    1.11  
    1.12  findFillpatterns 1 "chain-rule-diff-both"; (*<<<<<<<=================================*)
    1.13 @@ -1222,9 +1223,9 @@
    1.14  
    1.15    val (Form f, _, asms) = pt_extract (pt, p);
    1.16    if p = ([1], Res) andalso term2str f = "d_d x (x ^^^ 2) + d_d x (sin (x ^^^ 4))" andalso
    1.17 -    get_obj g_tac pt (fst p) = Rewrite_Inst (["(bdv, x)"], ("diff_sum", "Diff.diff_sum"(*?!?*)))
    1.18 -  then ()
    1.19 -  else error "embed fun get_fillform changed 2";
    1.20 +    get_obj g_tac pt (fst p) = Rewrite_Inst (["(bdv, x)"], 
    1.21 +      ("diff_sum", "d_d ?bdv (?u + ?v) = d_d ?bdv ?u + d_d ?bdv ?v"))
    1.22 +  then () else error "embed fun get_fillform changed 2";
    1.23  
    1.24  requestFillformula 1 ("chain-rule-diff-both", "fill-both-args");(*<<<<<<<============*)
    1.25    (*<AUTOCALC> ([1], Res) ([2], Res) ([2], Res) </AUTOCALC>*)
    1.26 @@ -1233,7 +1234,8 @@
    1.27    val (Form f, _, asms) = pt_extract (pt, p);
    1.28    if p = ([1], Res) andalso existpt [2] pt andalso
    1.29      term2str f = "d_d x (x ^^^ 2) + d_d x (sin (x ^^^ 4))" andalso
    1.30 -    get_obj g_tac pt (fst p) = Rewrite_Inst (["(bdv, x)"], ("diff_sum", "Diff.diff_sum"))
    1.31 +    get_obj g_tac pt (fst p) = Rewrite_Inst (["(bdv, x)"], 
    1.32 +      ("diff_sum", "d_d ?bdv (?u + ?v) = d_d ?bdv ?u + d_d ?bdv ?v"))
    1.33    then () else error "embed fun get_fillform changed 3";
    1.34  
    1.35  (* input a formula which exactly fills the gaps in a "fillformula"