Re: [isabelle] Efficient Integers?



I believe Library/Code_Integer is what you need to load.

Tobias

Am 10/02/2012 09:34, schrieb Thomas Genet:
> 
> Dear Isabelle Users,
> 
> 
> I am looking for the equivalent of "Efficient_nat" but for integers,
> leading to exported code that uses machine integers rather than a term
> representation.
> 
> Best regards,
> 
> Thomas





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.