*To*: Tobias Nipkow <nipkow at in.tum.de>*Subject*: Re: [isabelle] Efficient Integers?*From*: Filip Maric <filip at matf.bg.ac.rs>*Date*: Sat, 11 Feb 2012 20:06:10 +0100 (CET)*Cc*: cl-isabelle-users at lists.cam.ac.uk*In-reply-to*: <4F34DB4C.8080206 at in.tum.de>*References*: <4F34D68F.1070409 at irisa.fr> <4F34DB4C.8080206 at in.tum.de>

Hello,

Thank you very much, Filip On Fri, 10 Feb 2012, Tobias Nipkow wrote:

PS No, you don't get machine integers, that would be unsound. You get big integers, which are language specific. I assume that in most of the languages we support big integers are like machine integers plus some fixed overhead, as long as you stay in the machine integer range.

**Follow-Ups**:**Re: [isabelle] Efficient Integers?***From:*Tobias Nipkow

**Re: [isabelle] Efficient Integers?***From:*Florian Haftmann

- Previous by Date: [isabelle] Special Issue of Science of Computer Programming - post AVoCS 2011
- Next by Date: Re: [isabelle] Efficient Integers?
- Previous by Thread: Re: [isabelle] Efficient Integers?
- Next by Thread: Re: [isabelle] Efficient Integers?
- Cl-isabelle-users February 2012 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