src/HOL/Data_Structures/RBT_Set.thy
Thu, 15 Jun 2017 11:11:36 +0200 nipkow tuned
Wed, 14 Jun 2017 19:39:12 +0200 nipkow simplified delete/proof
Sat, 28 Jan 2017 15:12:19 +0100 nipkow split balance into two, clearer etc
Fri, 27 Jan 2017 17:35:08 +0100 nipkow tuned name
Fri, 27 Jan 2017 17:28:10 +0100 nipkow removed unclear clause; slower but clearer
Fri, 27 Jan 2017 12:32:49 +0100 nipkow removed contribution by Daniel Stuewe, too detailed.
Thu, 26 Jan 2017 17:51:13 +0100 nipkow added concise log height bound lemma
less more (0) -10 -7 tip