src/HOL/UNITY/Union.thy
changeset 7947 b999c1ab9327
parent 7915 c7fd7eb3b0ef
child 8055 bb15396278fb
     1.1 --- a/src/HOL/UNITY/Union.thy	Wed Oct 27 13:02:23 1999 +0200
     1.2 +++ b/src/HOL/UNITY/Union.thy	Wed Oct 27 13:03:32 1999 +0200
     1.3 @@ -8,6 +8,8 @@
     1.4  Partly from Misra's Chapter 5: Asynchronous Compositions of Programs
     1.5  
     1.6  Do we need a Meet operator?  (Aka Intersection)
     1.7 +
     1.8 +CAN PROBABLY DELETE the "Disjoint" predicate
     1.9  *)
    1.10  
    1.11  Union = SubstAx + FP +