--- a/src/HOL/ROOT Wed May 08 21:28:34 2019 +0200
+++ b/src/HOL/ROOT Thu May 09 12:32:47 2019 +0200
@@ -233,7 +233,9 @@
AA_Map
Set2_Join_RBT
Array_Braun
- Trie
+ Trie_Fun
+ Trie_Map
+ Tries_Binary
Leftist_Heap
Binomial_Heap
document_files "root.tex" "root.bib"