Theory ML_Priority_Queues

✐‹creator "Kevin Kappelmann"›
section ‹Priority Queues›
theory ML_Priority_Queues
  imports
    Pure
begin

ML_file‹priority_queue.ML›
ML_file‹leftist_heap.ML›

end