--- a/src/HOLCF/IOA/NTP/Action.thy Sat May 27 19:49:36 2006 +0200
+++ b/src/HOLCF/IOA/NTP/Action.thy Sat May 27 21:00:31 2006 +0200
@@ -14,6 +14,4 @@
| S_ack bool | R_ack bool
| C_m_s | C_m_r | C_r_s | C_r_r 'm
-ML {* use_legacy_bindings (the_context ()) *}
-
end