Skip to content
Success

Changes

Summary

  1. proved PQ spec
Changeset 8230:7f5699b41082 by nipkow:
proved PQ spec
The file was modified thys/Pairing_Heap/Pairing_Heap_List1.thy (diff)
The file was modified thys/Priority_Queue_Braun/Priority_Queue_Braun.thy (diff)