| Wed, 03 Jul 2024 19:42:13 +0200 | nipkow | simpler theorem | file | diff | annotate |
| Sun, 24 Mar 2024 14:50:47 +0100 | nipkow | more uniform command names | file | diff | annotate |
| Mon, 15 Jan 2024 22:50:13 +0100 | nipkow | Added time function automation | file | diff | annotate |
| Thu, 04 May 2023 08:53:08 +1000 | nipkow | streamlined | file | diff | annotate |
| Mon, 03 May 2021 19:06:33 +0200 | nipkow | tuned | file | diff | annotate |
| Mon, 02 Nov 2020 11:45:50 +0100 | nipkow | use min_height as in (much of?) the literature | file | diff | annotate |
| Thu, 24 Sep 2020 00:29:51 +0200 | nipkow | tuned | file | diff | annotate |
| Wed, 25 Sep 2019 17:22:57 +0200 | nipkow | replaced new type ('a,'b) tree by old type ('a*'b) tree. | file | diff | annotate |
| Tue, 20 Aug 2019 15:42:23 +0200 | nipkow | tuned | file | diff | annotate |
| Wed, 31 Jul 2019 09:04:00 +0200 | nipkow | reduced dependencies | file | diff | annotate |
| Thu, 11 Jul 2019 18:37:52 +0200 | nipkow | tuned | file | diff | annotate |
| Fri, 06 Jul 2018 22:52:49 +0200 | nipkow | more symmetric | file | diff | annotate |
| Mon, 25 Jun 2018 14:45:05 +0200 | nipkow | added lemmas; uniform names | file | diff | annotate |
| Mon, 11 Jun 2018 16:29:27 +0200 | nipkow | tuned order of arguments | file | diff | annotate |
| Sat, 21 Apr 2018 11:13:35 +0200 | nipkow | dont rename PQ.del_min | file | diff | annotate |
| Sat, 21 Apr 2018 08:41:42 +0200 | nipkow | del_min -> split_min | file | diff | annotate |
| Fri, 12 Jan 2018 14:08:53 +0100 | wenzelm | isabelle update_cartouches -c; | file | diff | annotate |
| Thu, 31 Aug 2017 08:39:42 +0200 | nipkow | added PQ with merge | file | diff | annotate |
| Sun, 27 Aug 2017 16:56:25 +0200 | nipkow | tuning | file | diff | annotate |
| Thu, 24 Aug 2017 21:56:26 +0200 | nipkow | tuned | file | diff | annotate |
| Wed, 23 Aug 2017 20:41:15 +0200 | nipkow | reorg | file | diff | annotate |
| 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 |