Re: [isabelle] What Isabelle maps to use to generate usual (ordered) maps

Dear Alex and Christian,

Thanks a lot for your answers...
I think I'll go for Mapping (with RBT for the code export) for the moment.

Thanks a lot.

Best regards,

Thomas Genet
Campus de Beaulieu, 35042 Rennes cedex, France
Tél: +33 (0) 2 99 84 73 44   E-mail: genet at

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