--- a/src/HOL/IMP/Transition.ML Thu Jul 30 23:14:41 1998 +0200
+++ b/src/HOL/IMP/Transition.ML Fri Jul 31 10:48:42 1998 +0200
@@ -6,8 +6,6 @@
Equivalence of Natural and Transition semantics
*)
-open Transition;
-
section "Winskel's Proof";
AddSEs [rel_pow_0_E];