--- a/src/HOL/Word/WordShift.thy Mon Jan 26 22:14:17 2009 +0100
+++ b/src/HOL/Word/WordShift.thy Mon Jan 26 22:14:18 2009 +0100
@@ -1,5 +1,4 @@
(*
- ID: $Id$
Author: Jeremy Dawson and Gerwin Klein, NICTA
contains theorems to do with shifting, rotating, splitting words