1.1 --- a/src/Tools/isac/Knowledge/DiffApp.sml	Wed Sep 08 17:17:29 2010 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/DiffApp.sml	Wed Sep 08 17:20:03 2010 +0200
     1.3 @@ -26,9 +26,9 @@
     1.4  
     1.5   prep_pbt DiffAppl.thy
     1.6   (["DiffAppl","make","function"]:pblID,
     1.7 -  [("#Given" ,"functionOf f_"),
     1.8 +  [("#Given" ,"functionOf f_f"),
     1.9     ("#Given" ,"boundVariable v_v"),
    1.10 -   ("#Given" ,"equalities eqs_"),
    1.11 +   ("#Given" ,"equalities eqs"),
    1.12     ("#Find"  ,"functionTerm f_0_")
    1.13    ]),
    1.14  
    1.15 @@ -43,7 +43,7 @@
    1.16   prep_pbt DiffAppl.thy
    1.17   (["DiffAppl","find_values","tool"]:pblID,
    1.18    [("#Given" ,"maxArgument ma_"),
    1.19 -   ("#Given" ,"functionTerm f_"),
    1.20 +   ("#Given" ,"functionTerm f_f"),
    1.21     ("#Given" ,"boundVariable v_v"),
    1.22     ("#Find"  ,"valuesFor vls_"),
    1.23     ("#Relate","additionalRels rs_")
    1.24 @@ -68,9 +68,9 @@
    1.25  
    1.26   (("DiffAppl","make_fun_by_new_variable"):metID,
    1.27    {ppc = prep_met DiffAppl.thy
    1.28 -   [("#Given" ,"functionOf f_"),
    1.29 +   [("#Given" ,"functionOf f_f"),
    1.30      ("#Given" ,"boundVariable v_v"),
    1.31 -    ("#Given" ,"equalities eqs_"),
    1.32 +    ("#Given" ,"equalities eqs"),
    1.33      ("#Find"  ,"functionTerm f_0_")
    1.34      ],
    1.35     rew_ord'="tless_true",rls'="eval_rls",asm_rls=[],asm_thm=[],
    1.36 @@ -78,9 +78,9 @@
    1.37  
    1.38   (("DiffAppl","make_fun_by_explicit"):metID,
    1.39    {ppc = prep_met DiffAppl.thy
    1.40 -   [("#Given" ,"functionOf f_"),
    1.41 +   [("#Given" ,"functionOf f_f"),
    1.42      ("#Given" ,"boundVariable v_v"),
    1.43 -    ("#Given" ,"equalities eqs_"),
    1.44 +    ("#Given" ,"equalities eqs"),
    1.45      ("#Find"  ,"functionTerm f_0_")
    1.46      ],
    1.47     rew_ord'="tless_true",rls'="eval_rls",asm_rls=[],asm_thm=[],