Nuprl Definition : atom-sdata
data(a) == tree_leaf(inr a )
Definitions occuring in Statement :
inr: inr x ,
tree_leaf: tree_leaf(value)
FDL editor aliases :
atom-sdata
Latex:
data(a) == tree\_leaf(inr a )
Date html generated:
2016_05_17-AM-11_37_00
Last ObjectModification:
2012_08_30-PM-02_30_09
Theory : event-logic-applications
Home
Index