pair_ss -> prod_ss.

--- a/IOA/meta_theory/IOA.ML	Thu Feb 16 08:56:21 1995 +0100
+++ b/IOA/meta_theory/IOA.ML	Thu Feb 16 08:56:44 1995 +0100
@@ -103,7 +103,7 @@
 
 goal IOA.thy 
 "actions(asig_comp(a,b)) = actions(a) Un actions(b)";
-  by(simp_tac (pair_ss addsimps
+  by(simp_tac (prod_ss addsimps
                ([actions_def,asig_comp_def]@asig_projections)) 1);
   by(fast_tac eq_cs 1);
 qed "actions_asig_comp";