Nuprl Definition : vr_test_headers

vr_test_headers() ==  [``vr_test ackn``; ``vr_test forward``; [echo]]



Definitions occuring in Statement :  cons: [car / cdr] nil: [] token: "$token"
FDL editor aliases :  vr_test_headers

vr\_test\_headers()  ==    [``vr\_test  ackn``;  ``vr\_test  forward``;  [echo]]


Date html generated: 2012_02_20-PM-07_47_08
Last ObjectModification: 2012_02_03-PM-08_18_08

Home Index