--- a/src/HOL/ROOT Wed Feb 13 13:38:52 2013 +0100 +++ b/src/HOL/ROOT Wed Feb 13 13:38:52 2013 +0100 @@ -446,7 +446,7 @@ Termination Coherent PresburgerEx - ReflectionEx + Reflection_Examples Sqrt Sqrt_Script Transfer_Ex