--- a/src/ZF/UNITY/Guar.thy Fri Jun 17 11:35:35 2005 +0200
+++ b/src/ZF/UNITY/Guar.thy Fri Jun 17 16:12:49 2005 +0200
@@ -22,7 +22,7 @@
header{*The Chandy-Sanders Guarantees Operator*}
-theory Guar = Comp:
+theory Guar imports Comp begin
(* To be moved to theory WFair???? *)