Nuprl Definition : PVList

PVList() ==  PValue() List


Proof not projected



Definitions occuring in Statement :  PValue: PValue(),  list: type List
Definitions :  list: type List,  PValue: PValue()
FDL editor aliases :  PVList
PVList()  ==    PValue()  List


Date html generated: 2011_10_20-PM-11_41_59
Last ObjectModification: 2011_05_10-PM-01_29_48

Home Index