Nuprl Lemma : norep2_onHandle_wf
norep2_onHandle() 
List ( List)
Proof not projected
Definitions occuring in Statement :
norep2_onHandle: norep2_onHandle(),
member: t T,
function: x:A B[x],
list: type List,
int:
Definitions :
norep2_onHandle: norep2_onHandle(),
member: t T,
uall: 
[x:A]. B[x]
Lemmas :
int-deq_wf,
deq-member_wf,
ifthenelse_wf
norep2\_onHandle() \mmember{} \mBbbZ{} {}\mrightarrow{} \mBbbZ{} List {}\mrightarrow{} (\mBbbZ{} List)
Date html generated:
2012_02_20-PM-03_36_42
Last ObjectModification:
2012_02_02-PM-01_56_50
Home
Index