Nuprl Definition : vlnk

link_x from i to j ==  <i, j, x>


Definitions occuring in Statement :  pair: <a, b>
FDL editor aliases :  vlnk
link\_x  from  i  to  j  ==    <i,  j,  x>


Date html generated: 2015_07_17-AM-09_12_46
Last ObjectModification: 2012_02_25-AM-10_53_12

Home Index