Nuprl Definition : cs-decided

Decided[v] ==  inl v



Definitions occuring in Statement :  inl: inl x
FDL editor aliases :  cs-decided
Decided[v]  ==    inl  v



Date html generated: 2015_07_17-AM-11_20_58
Last ObjectModification: 2012_02_25-AM-11_39_15

Home Index