Nuprl Definition : vr_test_headers_no_inputs
vr_test_headers_no_inputs() == [``vr_test ackn``; ``vr_test forward``]
Definitions occuring in Statement :
cons: [car / cdr],
nil: [],
token: "$token"
FDL editor aliases :
vr_test_headers_no_inputs
vr\_test\_headers\_no\_inputs() == [``vr\_test ackn``; ``vr\_test forward``]
Date html generated:
2012_02_20-PM-07_47_22
Last ObjectModification:
2012_02_03-PM-08_18_20
Home
Index