Nuprl Definition : mdata-val

mdata-val(mdata) ==  snd(mdata)


Definitions occuring in Statement :  pi2: snd(t)
FDL editor aliases :  mdata-val
Latex:
mdata-val(mdata)  ==    snd(mdata)


Date html generated: 2016_05_17-AM-08_49_50
Last ObjectModification: 2013_02_16-AM-00_11_27

Theory : messages


Home Index