1.1 --- a/src/Tools/isac/Knowledge/DiffApp-oldscr.sml	Wed Sep 08 17:17:29 2010 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/DiffApp-oldscr.sml	Wed Sep 08 17:20:03 2010 +0200
     1.3 @@ -64,11 +64,11 @@
     1.4  ML> val c = (the o (parse thy)) s; 
     1.5  val c =
     1.6    "Script make_fun_by_new_variable =
     1.7 -    Input [Real f_, Real v_v, BoolList eqs_]
     1.8 +    Input [Real f_f, Real v_v, BoolList eqs]
     1.9      Local [Bool h_, BoolList es_, RealList vs_, Real v1_, Real v2_, Bool e1,
    1.10             Bool e2_, BoolList s_1, BoolList s_2]
    1.11      Tacs [SEQU
    1.12 -           [let h_ = (hd o filter (Testvar m_)) eqs_; es_ = eqs_ -- [h_];
    1.13 +           [let h_ = (hd o filter (Testvar m_)) eqs; es_ = eqs -- [h_];
    1.14                  vs_ = Var h_ -- [f_]; v1_ = Nth #1 vs_; v2_ = Nth #2 vs_;
    1.15                  e1_ = (hd o filter (Testvar v1_)) es_;
    1.16                  e2_ = (hd o filter (Testvar v2_)) es_
    1.17 @@ -84,10 +84,10 @@
    1.18  ML> val c = (the o (parse thy)) s; 
    1.19  val c =
    1.20    "Script make_fun_explicit =
    1.21 -    Input [Real f_, Real v_v, BoolList eqs_]
    1.22 +    Input [Real f_f, Real v_v, BoolList eqs]
    1.23      Local [Bool h_, Bool eq_, RealList vs_, Real v1_, BoolList ss_]
    1.24      Tacs [SEQU
    1.25 -           [let h_ = (hd o filter (Testvar m_)) eqs_; eq_ = hd (eqs_ -- [h_]);
    1.26 +           [let h_ = (hd o filter (Testvar m_)) eqs; eq_ = hd (eqs -- [h_]);
    1.27                  vs_ = Var h_ -- [f_]; v1_ = hd (vs_ -- [v_])
    1.28              in Subproblem Spec (R, [univar, equation], no_met)
    1.29                  InOut [In eq_, In v1_, Out ss_]],