diff -r 1ac610922636 -r c58ef2aa5430 src/HOLCF/IOA/NTP/Spec.thy
--- a/src/HOLCF/IOA/NTP/Spec.thy	Sat May 27 19:49:36 2006 +0200
+++ b/src/HOLCF/IOA/NTP/Spec.thy	Sat May 27 21:00:31 2006 +0200
@@ -40,6 +40,4 @@
 
 ioa_def: "spec_ioa == (spec_sig, {[]}, spec_trans,{},{})"
 
-ML {* use_legacy_bindings (the_context ()) *}
-
 end