--- a/src/HOL/ROOT Sun Dec 06 11:26:38 2015 +0100 +++ b/src/HOL/ROOT Sun Dec 06 17:27:42 2015 +0100 @@ -179,6 +179,7 @@ Tree23_Map Tree234_Map Brother12_Map + AA_Set Splay_Map document_files "root.tex" "root.bib"