Nuprl Definition : test-aprog?
test-aprog?(x) ==  test-label(test-prog-obj(x)) =a "aprog"
Definitions occuring in Statement : 
test-label: test-label(d)
, 
test-prog-obj: test-prog-obj(x)
, 
eq_atom: x =a y
, 
token: "$token"
Definitions occuring in definition : 
eq_atom: x =a y
, 
test-label: test-label(d)
, 
test-prog-obj: test-prog-obj(x)
, 
token: "$token"
FDL editor aliases : 
test-aprog?
Latex:
test-aprog?(x)  ==    test-label(test-prog-obj(x))  =a  "aprog"
Date html generated:
2019_10_15-AM-10_49_21
Last ObjectModification:
2019_03_25-PM-01_44_19
Theory : tree_1
Home
Index