diff -r e5e019d60f71 -r 43b03d412b82 src/HOL/UNITY/Project.thy
--- a/src/HOL/UNITY/Project.thy	Mon Oct 18 15:17:35 1999 +0200
+++ b/src/HOL/UNITY/Project.thy	Mon Oct 18 15:18:24 1999 +0200
@@ -20,7 +20,7 @@
 		 'c program set, 'c program set, 'a program set] => bool"
   "extending C h F X' Y' Y ==
      ALL G. F Join project (C G) h G : Y & extend h F Join G : X' &
-            Disjoint (extend h F) G
+            Disjoint UNIV (extend h F) G
             --> extend h F Join G : Y'"
 
 end