1.1 --- a/src/sml/ME/script.sml	Tue Sep 05 17:06:37 2006 +0200
     1.2 +++ b/src/sml/ME/script.sml	Wed Sep 06 08:44:45 2006 +0200
     1.3 @@ -315,7 +315,10 @@
     1.4  fun id_of_scr sc = (id_of o fst o strip_comb) sc;
     1.5  
     1.6  
     1.7 -(*26.5.02: not clear, when a is available in ass_up for eva-_true*)
     1.8 +(*WN020526: not clear, when a is available in ass_up for eva-_true*)
     1.9 +(*WN060906: in "fun handle_leaf" eg. uses "Some M__"(from some PREVIOUS
    1.10 +  curried Rewrite) for CURRENT value (which may be different from PREVIOUS);
    1.11 +  thus "None" must be set in ????????????????????????????????????*)
    1.12  fun upd_env_opt env (Some a, v) = upd_env env (a,v)
    1.13    | upd_env_opt env (None, v) = 
    1.14      (writeln("*** upd_env_opt: (None,"^(term2str v)^")");env);

     2.1 --- a/src/smltest/IsacKnowledge/biegel-test-stimmen2.sml	Tue Sep 05 17:06:37 2006 +0200
     2.2 +++ b/src/smltest/IsacKnowledge/biegel-test-stimmen2.sml	Wed Sep 06 08:44:45 2006 +0200
     2.3 @@ -123,12 +123,13 @@
     2.4  term2str ttt;
     2.5  
     2.6  val ScrState (E,l,a,XXX,YYY,b) =  get_istate pt (p,p_); 
     2.7 -val a = Some (str2term "B__::bool"); (*!!!!!!!!!!!!!!!!!!!vvv is M__*)
     2.8 +(*val a = Some (str2term "B__::bool"); (*!!!!!!!!!!!!!!!!!!!vvv is M__*)*)
     2.9 +val a = None;
    2.10  val is as ScrState (E,l,a,XXX,YYY,b) = ScrState (E,l,a,XXX,YYY,b);
    2.11 +writeln (istate2str is);
    2.12  
    2.13        val (_,_,(scval,scsaf)) = next_tac (thy',srls) (pt,(p,p_)) sc is;
    2.14  term2str scval;
    2.15 -writeln (istate2str is);
    2.16  
    2.17  THERE IS A PROBLEM WITH @@ and curried functions !!!!!!!!!!!!!^^^
    2.18