--- a/src/ZF/Coind/ECR.thy Fri Jun 17 11:35:35 2005 +0200
+++ b/src/ZF/Coind/ECR.thy Fri Jun 17 16:12:49 2005 +0200
@@ -4,7 +4,7 @@
Copyright 1995 University of Cambridge
*)
-theory ECR = Static + Dynamic:
+theory ECR imports Static Dynamic begin
(* The extended correspondence relation *)