Changes

Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

Changeset 80404:f34e62eda167 by nipkow: clarified ternary tries
The file was added	`src/HOL/Data_Structures/Trie_Ternary.thy`
The file was modified	`src/HOL/ROOT`
The file was removed	`src/HOL/Data_Structures/Trie_Map.thy`