/Slides/ draft
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2017-07-31 14:30 +0200 45 .hgignore
-rw-r--r-- 2017-07-31 14:30 +0200 8264 Amor_Slides.thy
-rw-r--r-- 2017-07-31 14:30 +0200 4644 Binomial_Tree_Slides.thy
-rw-r--r-- 2017-07-31 14:30 +0200 4582 Braun_Tree_Slides.thy
-rw-r--r-- 2017-07-31 14:30 +0200 4738 FDSlatex.thy
-rw-r--r-- 2017-07-31 14:30 +0200 9799 Leftist_Heap_Slides.thy
-rw-r--r-- 2017-07-31 14:30 +0200 7712 RBT_Slides.thy
-rw-r--r-- 2017-07-31 14:30 +0200 7615 Search_Trees.thy
-rw-r--r-- 2017-07-31 14:30 +0200 5016 Skew_Heap_Slides.thy
-rw-r--r-- 2017-07-31 14:30 +0200 6340 Sorting_Slides.thy
-rw-r--r-- 2017-07-31 14:30 +0200 5772 Tree23_Slides.thy
-rw-r--r-- 2017-07-31 14:30 +0200 302 Tree_Notation.thy
-rw-r--r-- 2017-07-31 14:30 +0200 6601 Tree_Slides.thy
-rw-r--r-- 2017-07-31 14:30 +0200 7338 Trie_Slides.thy