--- a/src/HOL/Word/Word.thy Mon Jul 28 11:03:28 2014 +0200 +++ b/src/HOL/Word/Word.thy Sun Jul 27 21:20:11 2014 +0200 @@ -4760,4 +4760,3 @@ hide_const (open) Word end -