src/HOL/Data_Structures/Tree23_Map.thy
Wed, 31 Jul 2024 10:36:28 +0200 nipkow tuned names
Fri, 04 Dec 2020 13:24:49 +0100 nipkow tuned
Mon, 20 May 2019 17:33:13 +0200 nipkow tuned names
Thu, 16 May 2019 19:43:21 +0200 nipkow tuned name
Wed, 13 Jun 2018 15:24:20 +0200 nipkow qualify interpretations to avoid clashes
Tue, 12 Jun 2018 17:18:40 +0200 nipkow more abstract naming
Sat, 21 Apr 2018 08:41:42 +0200 nipkow del_min -> split_min
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) -14 tip