1.1 --- a/src/Tools/isac/Knowledge/DiffApp.thy	Wed Sep 08 16:45:27 2010 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/DiffApp.thy	Wed Sep 08 16:47:22 2010 +0200
     1.3 @@ -162,7 +162,7 @@
     1.4      crls = eval_rls, nrls=norm_Rational
     1.5     (*,  asm_rls=[],asm_thm=[]*)},
     1.6    "Script Maximum_value(fix_::bool list)(m_::real) (rs_::bool list)       " ^
     1.7 -  "      (v_v::real) (itv_::real set) (err_::bool) =                       " ^ 
     1.8 +  "      (v_v::real) (itv_v::real set) (err_::bool) =                       " ^ 
     1.9    " (let e_e = (hd o (filterVar m_)) rs_;                                  " ^
    1.10    "      t_ = (if 1 < length_ rs_                                         " ^
    1.11    "           then (SubProblem (DiffApp_,[make,function],[no_met])        " ^