Nuprl Definition : mk_lnk
(link(n) from i to j) ==  <i, j, n>
Definitions occuring in Statement : 
pair: <a, b>
FDL editor aliases : 
mk_lnk
Latex:
(link(n)  from  i  to  j)  ==    <i,  j,  n>
Date html generated:
2016_05_16-AM-10_53_24
Last ObjectModification:
2012_02_25-AM-10_52_27
Theory : event-ordering
Home
Index