AccOrRej == (<snd(fst(v)), snd(v)> where v from AcceptOrReject)
Definitions :
abbreviation: AcceptOrReject,
pi2: snd(t),
pi1: fst(t),
pair: <a, b>
AccOrRej == (<snd(fst(v)), snd(v)> where v from AcceptOrReject)
Date html generated:
2010_08_30-AM-12_51_12
Last ObjectModification:
2010_08_17-PM-07_29_33
Home
Index