.
--- a/ROOT Wed Jul 26 16:58:11 2017 +0200
+++ b/ROOT Mon Jul 31 09:31:07 2017 +0200
@@ -69,8 +69,9 @@
theories[show_question_marks=false]
MOD_Intro_Slides
Time_Slides
-(* Tree_Slides*)
+ MOD_Tree_Slides
Search_Trees
+ MOD_Search_Trees
Tree23_Slides
RBT_Slides
Leftist_Heap_Slides