Nuprl Definition : mk-tagged

mk-tagged(tg;x) ==  <tg, x>


Definitions occuring in Statement :  pair: <a, b>
Definitions occuring in definition :  pair: <a, b>
FDL editor aliases :  mk-tagged
Latex:
mk-tagged(tg;x)  ==    <tg,  x>


Date html generated: 2016_05_15-PM-06_48_12
Last ObjectModification: 2015_09_23-AM-08_06_26

Theory : general


Home Index