Nuprl Definition : pv8_p1_init_scout
pv8_p1_init_scout(Cid;Op;accpts) == <accpts, pv8_p1_init_pvalues(Cid;Op)>
Definitions occuring in Statement :
pv8_p1_init_pvalues: pv8_p1_init_pvalues(Cid;Op),
pair: <a, b>
FDL editor aliases :
pv8_p1_init_scout
pv8_p1_init_scout
pv8\_p1\_init\_scout(Cid;Op;accpts) == <accpts, pv8\_p1\_init\_pvalues(Cid;Op)>
Date html generated:
2012_02_20-PM-07_23_44
Last ObjectModification:
2012_02_06-PM-01_43_05
Home
Index