src/HOL/Data_Structures/Tries_Binary.thy
4 weeks ago nipkow 2019-05-14 tuned names
5 weeks ago nipkow 2019-05-12 tuned
5 weeks ago nipkow 2019-05-09 New version of tries