--- a/IOA/example/Sender.ML	Fri Nov 11 10:35:03 1994 +0100
+++ b/IOA/example/Sender.ML	Mon Nov 21 17:50:34 1994 +0100
@@ -18,7 +18,7 @@
 by(simp_tac (action_ss addsimps 
              (Sender.sender_asig_def :: actions_def :: 
               asig_projections @ set_lemmas)) 1);
-val in_sender_asig = result();
+qed "in_sender_asig";
 
 val sender_projections = 
    [Sender.sq_def,Sender.ssent_def,Sender.srcvd_def,