--- a/src/HOLCF/IOA/ABP/Sender.thy Sat May 27 19:49:07 2006 +0200
+++ b/src/HOLCF/IOA/ABP/Sender.thy Sat May 27 19:49:36 2006 +0200
@@ -49,6 +49,4 @@
"sender_ioa ==
(sender_asig, {([],True)}, sender_trans,{},{})"
-ML {* use_legacy_bindings (the_context ()) *}
-
end