| Tue, 15 Aug 2017 09:29:35 +0200 | nipkow | added Min_mset and Max_mset | file | diff | annotate |
| Mon, 14 Aug 2017 22:06:26 +0200 | nipkow | separate file for priority queue interface; extended Leftist_Heap. | file | diff | annotate |
| Thu, 02 Feb 2017 09:32:11 +0100 | nipkow | tuned proof | file | diff | annotate |
| Wed, 01 Feb 2017 21:09:47 +0100 | nipkow | renaming | file | diff | annotate |
| Wed, 01 Feb 2017 17:36:24 +0100 | nipkow | added is_empty | file | diff | annotate |
| Wed, 01 Feb 2017 13:50:20 +0100 | nipkow | tuned | file | diff | annotate |
| Wed, 01 Feb 2017 07:52:03 +0100 | nipkow | tuned | file | diff | annotate |
| Tue, 31 Jan 2017 17:26:15 +0100 | nipkow | proper priority queue spec | file | diff | annotate |
| Thu, 24 Mar 2016 15:56:47 +0100 | nipkow | added Leftist_Heap | file | diff | annotate |