I think priority queues are roughly ordered lists (the priority is the
ordering). So, you could have a look at Pure/General/ord_list.ML
Lukas
On 10/24/2012 05:21 PM, Steffen Juilf Smolka wrote:
Hi,
is there an implementation of priority queues in the isabelle library?
Steffen
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev