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