Nuprl Definition : l_tree_node?

l_tree_node?(v) ==  fst(v) =a "node"



Definitions occuring in Statement :  eq_atom: =a y pi1: fst(t) token: "$token"
FDL editor aliases :  l_tree_node?
l\_tree\_node?(v)  ==    fst(v)  =a  "node"



Date html generated: 2015_07_17-AM-07_41_32
Last ObjectModification: 2014_05_05-PM-02_28_49

Home Index