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
link \$n from \$a to \$b == <"\$a", "\$b", "\$n">
Date html generated:
2015_07_17-AM-09_10_50
Last ObjectModification:
2012_02_25-AM-10_52_26
Home
Index