Nuprl Definition : mdata-type
mdata-type(mdata) ==  fst(mdata)
Definitions occuring in Statement : 
pi1: fst(t)
FDL editor aliases : 
mdata-type
Latex:
mdata-type(mdata)  ==    fst(mdata)
Date html generated:
2016_05_17-AM-08_49_46
Last ObjectModification:
2013_02_16-AM-00_10_42
Theory : messages
Home
Index