[isabelle-dev] priority queues

Lukas Bulwahn bulwahn at in.tum.de
Wed Oct 24 17:26:35 CEST 2012

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


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-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list