Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- 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 |