Nuprl Definition : test-prog
test-prog() == mrec(test-Spec();"prog")
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-prog
Latex:
test-prog() == mrec(test-Spec();"prog")
Date html generated:
2019_10_15-AM-10_48_04
Last ObjectModification:
2019_03_25-PM-01_43_20
Theory : tree_1
Home
Index