src/HOLCF/IOA/ABP/Packet.thy

--- a/src/HOLCF/IOA/ABP/Packet.thy	Sat May 27 19:49:07 2006 +0200
+++ b/src/HOLCF/IOA/ABP/Packet.thy	Sat May 27 19:49:36 2006 +0200
@@ -19,6 +19,4 @@
   msg :: "'msg packet => 'msg"
   "msg == snd"
 
-ML {* use_legacy_bindings (the_context ()) *}
-
 end