Nuprl Definition : mklnk
link $n from $a to $b ==  <"$a", "$b", "$n">
Definitions occuring in Statement : 
mkid: "$x"
, 
pair: <a, b>
FDL editor aliases : 
mklnk
Latex:
link  \$n  from  \$a  to  \$b  ==    <"\$a",  "\$b",  "\$n">
Date html generated:
2016_05_16-AM-10_53_21
Last ObjectModification:
2012_02_25-AM-10_52_26
Theory : event-ordering
Home
Index