Nuprl Definition : sdata-left
sdata-left(p) == tree_node-left(p)
Definitions occuring in Statement :
tree_node-left: tree_node-left(v)
FDL editor aliases :
sdata-left
Latex:
sdata-left(p) == tree\_node-left(p)
Date html generated:
2016_05_17-AM-11_37_39
Last ObjectModification:
2014_05_05-PM-00_25_22
Theory : event-logic-applications
Home
Index