src/HOL/UNITY/Union.thy

--- a/src/HOL/UNITY/Union.thy	Wed Oct 27 13:02:23 1999 +0200
+++ b/src/HOL/UNITY/Union.thy	Wed Oct 27 13:03:32 1999 +0200
@@ -8,6 +8,8 @@
 Partly from Misra's Chapter 5: Asynchronous Compositions of Programs
 
 Do we need a Meet operator?  (Aka Intersection)
+
+CAN PROBABLY DELETE the "Disjoint" predicate
 *)
 
 Union = SubstAx + FP +