[isabelle] Efficient Integers?

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 Genet
Campus de Beaulieu, 35042 Rennes cedex, France
Tél: +33 (0) 2 99 84 73 44   E-mail: genet at irisa.fr

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