src/HOL/Data_Structures/Tree234_Set.thy
Tue, 09 Aug 2016 17:00:36 +0200 nipkow introduced aggressive splitter "split!"
Thu, 07 Jul 2016 18:08:02 +0200 nipkow got rid of class cmp; added height-size proofs by Daniel Stuewe
Mon, 11 Jan 2016 20:51:13 +0100 nipkow added AA_Map; tuned titles
Fri, 20 Nov 2015 12:22:41 +0100 nipkow tuned
Thu, 19 Nov 2015 18:43:41 +0100 nipkow tuned and converted to cmp
Wed, 11 Nov 2015 18:32:26 +0100 nipkow no CRLF
Thu, 05 Nov 2015 18:38:08 +0100 nipkow tuned
Thu, 05 Nov 2015 08:27:14 +0100 nipkow Convertd to 3-way comparisons
Sun, 25 Oct 2015 17:31:14 +0100 nipkow added 234-trees (slow)
less more (0) tip