--- a/src/HOL/UNITY/Comp.thy Fri Jun 17 11:35:35 2005 +0200
+++ b/src/HOL/UNITY/Comp.thy Fri Jun 17 16:12:49 2005 +0200
@@ -15,7 +15,7 @@
header{*Composition: Basic Primitives*}
-theory Comp = Union:
+theory Comp imports Union begin
instance program :: (type) ord ..