/Slides/ draft
drwxr-xr-x [up]
drwxr-xr-x document
drwxr-xr-x tex
-rw-r--r-- 2017-06-23 18:08 +0200 3637 Braun_Tree_Slides.thy
-rw-r--r-- 2017-06-23 18:08 +0200 4535 FDSlatex.thy
-rw-r--r-- 2017-06-23 18:08 +0200 9633 Leftist_Heap_Slides.thy
-rw-r--r-- 2017-06-23 18:08 +0200 9632 Leftist_Heap_Slides.thy~
-rw-r--r-- 2017-06-23 18:08 +0200 7712 RBT_Slides.thy
-rw-r--r-- 2017-06-23 18:08 +0200 7711 RBT_Slides.thy~
-rw-r--r-- 2017-06-23 18:08 +0200 7615 Search_Trees.thy
-rw-r--r-- 2017-06-23 18:08 +0200 6446 Sorting_Slides.thy
-rw-r--r-- 2017-06-23 18:08 +0200 6445 Sorting_Slides.thy~
-rw-r--r-- 2017-06-23 18:08 +0200 5772 Tree23_Slides.thy
-rw-r--r-- 2017-06-23 18:08 +0200 302 Tree_Notation.thy
-rw-r--r-- 2017-06-23 18:08 +0200 6601 Tree_Slides.thy
-rw-r--r-- 2017-06-23 18:08 +0200 6600 Tree_Slides.thy~
-rw-r--r-- 2017-06-23 18:08 +0200 7338 Trie_Slides.thy
-rw-r--r-- 2017-06-23 18:08 +0200 7337 Trie_Slides.thy~