*To*: isabelle-users at cl.cam.ac.uk*Subject*: [isabelle] Proofs involving Integers*From*: George Karabotsos <g_karab at cs.concordia.ca>*Date*: Fri, 02 May 2008 10:10:59 -0400*User-agent*: Thunderbird 2.0.0.0 (X11/20070326)

Hello, I am having trouble proving the following lemmas that involve integers. For example, the following: lemma "-(x * (i + (1::int))) = - ((x * i)+x)" or lemma "- (x * (i + (1::int))) + x = - (x * i)"

Any help is appreciated. TIA George

**Follow-Ups**:**Re: [isabelle] Proofs involving Integers***From:*Tobias Nipkow

**Re: [isabelle] Proofs involving Integers***From:*Amine Chaieb

- Next by Date: Re: [isabelle] Proofs involving Integers
- Next by Thread: Re: [isabelle] Proofs involving Integers
- Cl-isabelle-users May 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