--- a/src/HOL/ROOT Thu Dec 03 15:33:01 2015 +0100 +++ b/src/HOL/ROOT Fri Dec 04 14:39:31 2015 +0100 @@ -178,6 +178,7 @@ RBT_Map Tree23_Map Tree234_Map + Brother12_Set Splay_Map document_files "root.tex" "root.bib"