--- a/src/HOL/Word/Size.thy Mon Jan 26 22:14:17 2009 +0100
+++ b/src/HOL/Word/Size.thy Mon Jan 26 22:14:18 2009 +0100
@@ -1,5 +1,4 @@
(*
- ID: $Id$
Author: John Matthews, Galois Connections, Inc., copyright 2006
A typeclass for parameterizing types by size.