| Mon, 22 Jan 2018 15:50:29 +0100 | Lars Hupel | tuned | file | diff | annotate |
| Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
| Thu, 31 Aug 2017 08:39:42 +0200 | nipkow | added PQ with merge | file | diff | annotate |
| Tue, 29 Aug 2017 17:01:11 +0200 | nipkow | tuned names | file | diff | annotate |
| Tue, 29 Aug 2017 16:54:54 +0200 | nipkow | simpler definition | file | diff | annotate |
| Tue, 29 Aug 2017 15:37:02 +0200 | nipkow | typo | file | diff | annotate |
| Tue, 29 Aug 2017 15:07:15 +0200 | nipkow | tuned | file | diff | annotate |
| Sun, 27 Aug 2017 16:56:25 +0200 | nipkow | tuning | file | diff | annotate |
| Wed, 23 Aug 2017 20:41:15 +0200 | nipkow | reorg | file | diff | annotate |
| Tue, 15 Aug 2017 19:47:08 +0200 | nipkow | added sorted_wrt to List; added Data_Structures/Binomial_Heap.thy | file | diff | annotate |