1.1 --- a/src/Tools/isac/Interpret/generate.sml	Fri Jun 13 09:55:49 2014 +0200
     1.2 +++ b/src/Tools/isac/Interpret/generate.sml	Fri Jun 13 10:29:06 2014 +0200
     1.3 @@ -12,12 +12,12 @@
     1.4     *)
     1.5         | Rls {scr=EmptyScr,...} => 
     1.6  	 error ("interSteps>..>init_istate: \""^rls^"\" has EmptyScr."
     1.7 -		      ^"use prep_rls for storing rule-sets !")
     1.8 +		      ^"use prep_rls' for storing rule-sets !")
     1.9         | Rls {scr = Prog s,...} =>
    1.10  	 (ScrState ([(one_scr_arg s, t)], [], NONE, e_term, Sundef, true))
    1.11         | Seq {scr=EmptyScr,...} => 
    1.12  	 error ("interSteps>..>init_istate: \""^rls^"\" has EmptyScr."
    1.13 -		      ^"use prep_rls for storing rule-sets !")
    1.14 +		      ^"use prep_rls' for storing rule-sets !")
    1.15         | Seq {srls=srls,scr = Prog s,...} =>
    1.16  	 (ScrState ([(one_scr_arg s, t)], [], NONE, e_term, Sundef, true)))
    1.17  (* val ((Rewrite_Set_Inst (subs, rls)), t) = ((get_obj g_tac pt p), t);
    1.18 @@ -28,14 +28,14 @@
    1.19      in case assoc_rls rls of
    1.20             Rls {scr=EmptyScr,...} => 
    1.21  	   error ("interSteps>..>init_istate: \""^rls^"\" has EmptyScr."
    1.22 -			^"use prep_rls for storing rule-sets !")
    1.23 +			^"use prep_rls' for storing rule-sets !")
    1.24  	 | Rls {scr = Prog s,...} =>
    1.25  	   let val (form, bdv) = two_scr_arg s
    1.26  	   in (ScrState ([(form, t), (bdv, v)],[], NONE, e_term, Sundef,true))
    1.27  	   end
    1.28  	 | Seq {scr=EmptyScr,...} => 
    1.29  	   error ("interSteps>..>init_istate: \""^rls^"\" has EmptyScr."
    1.30 -			^"use prep_rls for storing rule-sets !")
    1.31 +			^"use prep_rls' for storing rule-sets !")
    1.32  	 | Seq {scr = Prog s,...} =>
    1.33  	   let val (form, bdv) = two_scr_arg s
    1.34  	   in (ScrState ([(form, t), (bdv, v)],[], NONE, e_term, Sundef,true))