--- a/src/HOL/Library/Code_Target_Numeral.thy Thu Aug 06 23:56:48 2015 +0200 +++ b/src/HOL/Library/Code_Target_Numeral.thy Sat Aug 08 10:51:33 2015 +0200 @@ -9,4 +9,3 @@ begin end -