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