[isabelle] The order the elements of set



Hi all

I would ask you if there is a way for order the elements of sets in
Isabelle without add number to the elements.

Best Regards,




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