src/HOL/Data_Structures/Tree23_Map.thy
Sun, 08 Apr 2018 11:05:52 +0200 nipkow more name tuning
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
Sat, 05 Dec 2015 16:33:20 +0100 nipkow avoid name clashes
Sat, 05 Dec 2015 16:13:28 +0100 nipkow added Brother12_Map
Mon, 16 Nov 2015 13:08:52 +0100 nipkow tuned names
less more (0) -10 -7 tip