Nuprl Definition : 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
Definitions occuring in Statement :
MaName: MaName,
l_disjoint: l_disjoint(T;l1;l2),
apply: f a,
branch: if p:P then A[p] else B fi
FDL editor aliases :
manames-overlap-case
Latex:
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:
2016_05_16-AM-11_01_44
Last ObjectModification:
2012_02_25-AM-10_53_59
Theory : event-ordering
Home
Index