--- a/src/HOL/Decision_Procs/Approximation.thy Fri Feb 14 07:53:45 2014 +0100 +++ b/src/HOL/Decision_Procs/Approximation.thy Fri Feb 14 07:53:46 2014 +0100 @@ -3589,4 +3589,3 @@ *} end -