diff -r 3b8920131be2 -r 1ac610922636 src/HOLCF/IOA/ABP/Action.thy
--- a/src/HOLCF/IOA/ABP/Action.thy	Sat May 27 19:49:07 2006 +0200
+++ b/src/HOLCF/IOA/ABP/Action.thy	Sat May 27 19:49:36 2006 +0200
@@ -14,6 +14,4 @@
   | S_pkt "'m packet" | R_pkt "'m packet"
   | S_ack bool | R_ack bool
 
-ML {* use_legacy_bindings (the_context ()) *}
-
 end