Nuprl Definition : pv11_p1_init

pv11_p1_init_proposals(Cmd) == []

Definitions occuring in Statement : nil: []
FDL editor aliases : pv11_p1_init_proposals

Latex:
pv11\_p1\_init\_proposals(Cmd) == [] Date html generated: 2015_07_23-PM-04_12_35 Last ObjectModification: 2014_11_26-AM-11_25_02 Home Index