Nuprl Definition : MMTree_Node-forest

MMTree_Node-forest(v) ==  snd(v)



Definitions occuring in Statement :  pi2: snd(t)
FDL editor aliases :  MMTree_Node-forest

Latex:
MMTree\_Node-forest(v)  ==    snd(v)



Date html generated: 2016_05_16-AM-08_55_25
Last ObjectModification: 2014_05_06-PM-02_42_59

Theory : C-semantics


Home Index