--- a/src/HOLCF/IOA/Storage/Spec.thy Sat May 27 21:00:31 2006 +0200
+++ b/src/HOLCF/IOA/Storage/Spec.thy Sat May 27 21:18:51 2006 +0200
@@ -33,6 +33,4 @@
ioa_def: "spec_ioa == (spec_sig, {({},False)}, spec_trans,{},{})"
-ML {* use_legacy_bindings (the_context ()) *}
-
end