Re: [isabelle] The order the elements of set



On Di, 2012-07-03 at 14:10 +0100, Abdullah wrote:
> 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.

If the order is given by the element type, you may want to use the
linorder typeclass for your element type. 


Peter






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