1.1 --- a/src/Tools/isac/Interpret/model.sml	Thu Aug 22 15:56:48 2019 +0200
     1.2 +++ b/src/Tools/isac/Interpret/model.sml	Thu Aug 22 16:48:04 2019 +0200
     1.3 @@ -108,7 +108,7 @@
     1.4        (b) 
     1.5  ==========================================================================*)
     1.6  
     1.7 -val script_parse = the o (@{theory Script} |> Rule.thy2ctxt |> TermC.parseNEW);
     1.8 +val script_parse = the o (@{theory Program} |> Rule.thy2ctxt |> TermC.parseNEW);
     1.9  val e_listReal = script_parse "[]::(real list)";
    1.10  val e_listBool = script_parse "[]::(bool list)";
    1.11  
    1.12 @@ -233,7 +233,7 @@
    1.13  	  [] => error ("penv_value: no values in '" ^ Rule.term2str id)
    1.14    | [v] => (id, v)
    1.15    | (v1 :: v2 :: _) => (case v1 of 
    1.16 -	      Const ("Script.Arbfix",_) => (id, v2)
    1.17 +	      Const ("Program.Arbfix",_) => (id, v2)
    1.18  	    | _ => (id, v1));
    1.19  
    1.20  (* 9.5.03: still unused, but left for eventual future development *)