[isabelle] new AFP entry: Priority Queues Based on Braun Trees

"This theory implements priority queues via Braun trees. Insertion and deletion take logarithmic time and preserve the balanced nature of Braun trees.”

Many thanks to Tobias Nipkow for this entry!

Larry Paulson

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