Nuprl Lemma : PVList_wf
PVList() 
Type
Proof not projected
Definitions occuring in Statement :
PVList: PVList(),
member: t T,
universe: Type
Definitions :
equal: s = t,
member: t T,
function: x:A 
B[x],
all: 
x:A. B[x],
PValue: PValue(),
list: type List,
PVList: PVList()
Lemmas :
PValue_wf
PVList() \mmember{} Type
Date html generated:
2011_10_20-PM-11_42_11
Last ObjectModification:
2011_05_10-PM-01_31_52
Home
Index