src/HOL/Data_Structures/Priority_Queue.thy
Sat, 21 Apr 2018 11:13:35 +0200 nipkow dont rename PQ.del_min
Sat, 21 Apr 2018 08:41:42 +0200 nipkow del_min -> split_min
Thu, 31 Aug 2017 08:39:42 +0200 nipkow added PQ with merge
less more (0) -3 tip