NoProposal ==
tr.let b,b',v = tr in
if b 
z b' then inl b else inr 
fi [Collect1]
Definitions :
abbreviation: Collect1,
it: ,
inr: inr x ,
inl: inl x ,
le_int: i z j,
ifthenelse: if b then t else f fi ,
spreadn: spread3,
lambda: x.A[x]
NoProposal == \mlambda{}tr.let b,b',v = tr in if b \mleq{}z b' then inl b else inr \mcdot{} fi [Collect1]
Date html generated:
2010_08_30-AM-12_51_04
Last ObjectModification:
2010_08_16-PM-01_38_30
Home
Index