---

AcceptOrReject ==
  (let lbv,m = lbvm in
     let l,b,v = lbv in 
    <lbv, m z b> where lbvm from (MaxReserve'?-1) when x2)

---

Definitions :  natural_number: $n,  minus: -n,  abbreviation: MaxReserve,  le_int: i z j,  pair: <a, b>,  spreadn: spread3,  spread: spread def

---

AcceptOrReject  ==
    (let  lbv,m  =  lbvm  in
          let  l,b,v  =  lbv  in 
        <lbv,  m  \mleq{}z  b>  where  lbvm  from  (MaxReserve'?-1)  when  x2)


Date html generated: 2010_08_30-AM-12_51_06
Last ObjectModification: 2010_08_16-PM-08_01_56

Home Index