--- a/src/HOL/ROOT Sun Apr 08 09:46:33 2018 +0200
+++ b/src/HOL/ROOT Sun Apr 08 11:05:52 2018 +0200
@@ -201,6 +201,8 @@
Tree234_Map
Brother12_Map
AA_Map
+ Set2_BST_Join
+ Set2_BST2_Join_RBT
Leftist_Heap
Binomial_Heap
document_files "root.tex" "root.bib"