src/HOL/Data_Structures/Isin2.thy
Thu, 07 Jul 2016 18:08:02 +0200 nipkow got rid of class cmp; added height-size proofs by Daniel Stuewe
Tue, 23 Feb 2016 16:25:08 +0100 nipkow more canonical names
Tue, 17 Nov 2015 11:44:10 +0100 nipkow removed lemmas that were only needed for old version of isin.
Tue, 22 Sep 2015 17:13:01 +0200 nipkow unified isin-proofs
Tue, 22 Sep 2015 08:38:25 +0200 nipkow added red black trees
less more (0) tip