1.1 --- a/src/Tools/isac/Knowledge/DiffApp-oldscr.sml	Wed Sep 08 16:45:27 2010 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/DiffApp-oldscr.sml	Wed Sep 08 16:47:22 2010 +0200
     1.3 @@ -22,7 +22,7 @@
     1.4  ML> set show_types;
     1.5  ML> c;
     1.6  val c =
     1.7 -  "Script1 Maximum_value fix_::bool list m_::real rs_::bool list v_v::real itv_::real set err_::bool =
     1.8 +  "Script1 Maximum_value fix_::bool list m_::real rs_::bool list v_v::real itv_v::real set err_::bool =
     1.9      let e_e::bool = (hd o filter (Testvar m_)) rs_;
    1.10          t_::real =
    1.11            if (#1::real) < Length rs_