---

if nms1 and nms2 overlap then x else y fi ==
  if p:l_disjoint(MaName;nms1;nms2) then y else x fi 

---

Definitions :  branch: if p:P then A[p] else B fi ,  l_disjoint: l_disjoint(T;l1;l2),  MaName: MaName,  apply: f a,  decidable__l_disjoint_manames
FDL editor aliases :  manames-overlap-case

---

if  nms1  and  nms2  overlap  then  x  else  y  fi  ==    if  p:l\_disjoint(MaName;nms1;nms2)  then  y  else  x  fi 


Date html generated: 2010_08_26-PM-11_42_48
Last ObjectModification: 2008_02_27-PM-09_35_40

Home Index