src/HOL/Data_Structures/Binomial_Heap.thy
Tue, 29 Aug 2017 17:01:11 +0200 nipkow tuned names
Tue, 29 Aug 2017 16:54:54 +0200 nipkow simpler definition
Tue, 29 Aug 2017 15:37:02 +0200 nipkow typo
Tue, 29 Aug 2017 15:07:15 +0200 nipkow tuned
Sun, 27 Aug 2017 16:56:25 +0200 nipkow tuning
Wed, 23 Aug 2017 20:41:15 +0200 nipkow reorg
Tue, 15 Aug 2017 19:47:08 +0200 nipkow added sorted_wrt to List; added Data_Structures/Binomial_Heap.thy
less more (0) tip