Nuprl Definition : pv11_p1_init_scout
pv11_p1_init_scout(Cmd;accpts) == <accpts, pv11_p1_init_pvalues(Cmd)>
Definitions occuring in Statement :
pv11_p1_init_pvalues: pv11_p1_init_pvalues(Cmd),
pair: <a, b>
FDL editor aliases :
pv11_p1_init_scout
Latex:
pv11\_p1\_init\_scout(Cmd;accpts) == <accpts, pv11\_p1\_init\_pvalues(Cmd)>
Date html generated:
2015_07_23-PM-04_12_39
Last ObjectModification:
2014_11_26-AM-11_25_12
Home
Index