src/ZF/UNITY/Merge.thy

--- a/src/ZF/UNITY/Merge.thy	Fri Jun 17 11:35:35 2005 +0200
+++ b/src/ZF/UNITY/Merge.thy	Fri Jun 17 16:12:49 2005 +0200
@@ -7,7 +7,7 @@
 Merge specification
 *)
 
-theory Merge = AllocBase + Follows +  Guar + GenPrefix:
+theory Merge imports AllocBase Follows  Guar GenPrefix begin
 
 (** Merge specification (the number of inputs is Nclients) ***)
 (** Parameter A represents the type of items to Merge **)