Nuprl Definition : test-prop
test-prop() == mrec(test-Spec();"prop")
Definitions occuring in Statement :
test-Spec: test-Spec(),
mrec: mrec(L;i),
token: "$token"
Definitions occuring in definition :
mrec: mrec(L;i),
test-Spec: test-Spec(),
token: "$token"
FDL editor aliases :
test-prop
Latex:
test-prop() == mrec(test-Spec();"prop")
Date html generated:
2019_10_15-AM-10_48_11
Last ObjectModification:
2019_03_25-PM-01_43_25
Theory : tree_1
Home
Index