Nuprl Definition : test-Obj

test-Obj() ==  mobj(test-Spec())


Definitions occuring in Statement :  test-Spec: test-Spec(),  mobj: mobj(L)
Definitions occuring in definition :  mobj: mobj(L),  test-Spec: test-Spec()
FDL editor aliases :  test-Obj
Latex:
test-Obj()  ==    mobj(test-Spec())


Date html generated: 2019_10_15-AM-10_48_00
Last ObjectModification: 2019_03_25-PM-01_43_18

Theory : tree_1


Home Index