Nuprl Definition : test-xx?

test-xx?(x) ==  test-label(test-foo-obj(x)) =a "xx"



Definitions occuring in Statement :  test-label: test-label(d) test-foo-obj: test-foo-obj(x) eq_atom: =a y token: "$token"
Definitions occuring in definition :  eq_atom: =a y test-label: test-label(d) test-foo-obj: test-foo-obj(x) token: "$token"
FDL editor aliases :  test-xx?

Latex:
test-xx?(x)  ==    test-label(test-foo-obj(x))  =a  "xx"



Date html generated: 2019_10_15-AM-10_49_42
Last ObjectModification: 2019_03_25-PM-01_44_36

Theory : tree_1


Home Index