Nuprl Definition : pv8_p2_init_latest_decision
pv8_p2_init_latest_decision(Cid;Op) == inr 
Definitions occuring in Statement :
it: ,
inr: inr x
FDL editor aliases :
pv8_p2_init_latest_decision
pv8_p2_init_latest_decision
pv8\_p2\_init\_latest\_decision(Cid;Op) == inr \mcdot{}
Date html generated:
2012_02_20-PM-07_39_03
Last ObjectModification:
2012_02_06-PM-03_06_42
Home
Index