--- a/src/HOL/ROOT Fri Oct 09 01:37:57 2015 +0200 +++ b/src/HOL/ROOT Fri Oct 09 01:44:27 2015 +0200 @@ -583,6 +583,7 @@ Reflection_Examples Sqrt Sqrt_Script + Transfer_Debug Transfer_Ex Transfer_Int_Nat Transitive_Closure_Table_Ex