src/HOL/Data_Structures/AA_Map.thy
Wed, 25 Sep 2019 17:22:57 +0200 nipkow replaced new type ('a,'b) tree by old type ('a*'b) tree.
less more (0) -1 tip