--- a/src/HOL/ROOT Thu Oct 09 16:47:56 2014 +0200 +++ b/src/HOL/ROOT Fri Oct 10 18:23:59 2014 +0200 @@ -562,6 +562,7 @@ Arith_Examples BT Tree23 + Bubblesort MergeSort Lagrange Groebner_Examples