/Ex_Fundus/ draft
drwxr-xr-x [up]
-rw-r--r-- 2018-07-09 11:57 +0200 1891 BST_exercises.thy
-rw-r--r-- 2018-07-09 11:57 +0200 9148 Ex_Basic_HOL.thy
-rw-r--r-- 2018-07-09 11:57 +0200 27891 Ex_Basic_Tree.thy
-rw-r--r-- 2018-07-09 11:57 +0200 3947 Ex_Bootstrapping.thy
-rw-r--r-- 2018-07-09 11:57 +0200 1048 Ex_Deforestation.thy
-rw-r--r-- 2018-07-09 11:57 +0200 1207 Ex_Leftist_Heap.thy
-rw-r--r-- 2018-07-09 11:57 +0200 2154 Ex_Linear_Meld.thy
-rw-r--r-- 2018-07-09 11:57 +0200 9978 Ex_PTries.thy
-rw-r--r-- 2018-07-09 11:57 +0200 9325 Ex_Set_Interface.thy
-rw-r--r-- 2018-07-09 11:57 +0200 1260 Ex_Tree23.thy
-rw-r--r-- 2018-07-09 11:57 +0200 5876 Ex_Tree_Addressing.thy
-rw-r--r-- 2018-07-09 11:57 +0200 12368 Sparse_Binary_Numbers.thy