Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] The order the elements of set

view this post on Zulip Email Gateway (Aug 18 2022 at 20:33):

From: Abdullah <mr.ab15@gmail.com>
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,

view this post on Zulip Email Gateway (Aug 19 2022 at 07:47):

From: Peter Lammich <lammich@in.tum.de>
If the order is given by the element type, you may want to use the
linorder typeclass for your element type.

Peter

Last updated: Apr 25 2024 at 12:23 UTC