replaced prs by std_output;

--- a/src/FOLP/simp.ML	Wed Nov 25 14:04:05 1998 +0100
+++ b/src/FOLP/simp.ML	Wed Nov 25 14:04:28 1998 +0100
@@ -359,11 +359,11 @@
 datatype cntrl = STOP | MK_EQ | ASMS of int | SIMP_LHS | REW | REFL | TRUE
                | PROVE | POP_CS | POP_ARTR | IF;
 (*
-fun pr_cntrl c = case c of STOP => prs("STOP") | MK_EQ => prs("MK_EQ") |
-ASMS i => print_int i | POP_ARTR => prs("POP_ARTR") |
-SIMP_LHS => prs("SIMP_LHS") | REW => prs("REW") | REFL => prs("REFL") |
-TRUE => prs("TRUE") | PROVE => prs("PROVE") | POP_CS => prs("POP_CS") | IF
-=> prs("IF");
+fun pr_cntrl c = case c of STOP => std_output("STOP") | MK_EQ => std_output("MK_EQ") |
+ASMS i => print_int i | POP_ARTR => std_output("POP_ARTR") |
+SIMP_LHS => std_output("SIMP_LHS") | REW => std_output("REW") | REFL => std_output("REFL") |
+TRUE => std_output("TRUE") | PROVE => std_output("PROVE") | POP_CS => std_output("POP_CS") | IF
+=> std_output("IF");
 *)
 fun simp_refl([],_,ss) = ss
   | simp_refl(a'::ns,a,ss) = if a'=a then simp_refl(ns,a,SIMP_LHS::REFL::ss)

--- a/src/HOLCF/IOA/ABP/Check.ML	Wed Nov 25 14:04:05 1998 +0100
+++ b/src/HOLCF/IOA/ABP/Check.ML	Wed Nov 25 14:04:28 1998 +0100
@@ -112,11 +112,11 @@
    ------------------------------------*)
 
 fun print_list (lpar, rpar, pre: 'a -> unit) (lll : 'a list) =
-  let fun prec x = (prs ","; pre x)
+  let fun prec x = (std_output ","; pre x)
   in
     (case lll of
-      [] => (prs lpar; prs rpar)
-    | x::lll => (prs lpar; pre x; seq prec lll; prs rpar))
+      [] => (std_output lpar; std_output rpar)
+    | x::lll => (std_output lpar; pre x; seq prec lll; std_output rpar))
    end;
 
 fun pr_bool true = output(std_out,"true")
@@ -135,17 +135,17 @@
       S_ack(b)   => "S_ack(b)" |                      
       R_ack(b)   => "R_ack(b)");
 
-fun pr_pkt (b,ma) = (prs "<"; pr_bool b;prs ", "; pr_msg ma; prs ">");
+fun pr_pkt (b,ma) = (std_output "<"; pr_bool b;std_output ", "; pr_msg ma; std_output ">");
 
 val pr_bool_list  = print_list("[","]",pr_bool);
 val pr_msg_list   = print_list("[","]",pr_msg);
 val pr_pkt_list   = print_list("[","]",pr_pkt);
 
 fun pr_tuple (env,p,a,q,b,ch1,ch2) = 
-        (prs "{"; pr_bool env; prs ", "; pr_msg_list p;  prs ", ";
-         pr_bool a;  prs ", "; pr_msg_list q; prs ", ";
-         pr_bool b;  prs ", "; pr_pkt_list ch1;  prs ", ";
-         pr_bool_list ch2; prs "}");
+        (std_output "{"; pr_bool env; std_output ", "; pr_msg_list p;  std_output ", ";
+         pr_bool a;  std_output ", "; pr_msg_list q; std_output ", ";
+         pr_bool b;  std_output ", "; pr_pkt_list ch1;  std_output ", ";
+         pr_bool_list ch2; std_output "}");