Nuprl Definition : pv11_p1_init_active
pv11_p1_init_active() ==  ff
Definitions occuring in Statement : 
bfalse: ff
FDL editor aliases : 
pv11_p1_init_active
Latex:
pv11\_p1\_init\_active()  ==    ff
Date html generated:
2016_05_17-PM-02_51_12
Last ObjectModification:
2014_11_26-AM-11_25_21
Theory : paxos!synod
Home
Index