*To*: Jens Doll <jd at cococo.de>*Subject*: Re: [isabelle] Integer Division*From*: Amine Chaieb <ac638 at cam.ac.uk>*Date*: Sat, 13 Dec 2008 15:41:04 +0000*Cc*: Isabelle List <cl-isabelle-users at lists.cam.ac.uk>*In-reply-to*: <OFB123FF5A.425522F3-ONC125751D.002D066E-C125751D.002E115F@cococo.de>*References*: <OFB123FF5A.425522F3-ONC125751D.002D066E-C125751D.002E115F@cococo.de>*User-agent*: Thunderbird 2.0.0.18 (Macintosh/20081105)

Dear Jens,

Best wishes, Amine. Jens Doll wrote:

Hello Amine,thank you, that helped me a lot and I reconsidered the original problem. Iwill have to teach my algorithm to solve the inequality" EX (i::int). r - 2*i <= 1" ,The final result could look like this http://cococo.de/products/windows/Columbo/sample2.html Regards, Jens

**References**:**Re: [isabelle] Integer Division***From:*Jens Doll

- Previous by Date: Re: [isabelle] Isabelle and Beamer
- Next by Date: Re: [isabelle] Integer Division
- Previous by Thread: Re: [isabelle] Integer Division
- Next by Thread: Re: [isabelle] Integer Division
- Cl-isabelle-users December 2008 archives indexes sorted by: [ thread ] [ subject ] [ author ] [ date ]
- Cl-isabelle-users list archive Table of Contents
- More information about the Cl-isabelle-users mailing list