--- a/src/HOL/Word/WordArith.thy Mon Jan 26 22:14:17 2009 +0100
+++ b/src/HOL/Word/WordArith.thy Mon Jan 26 22:14:18 2009 +0100
@@ -1,5 +1,4 @@
(*
- ID: $Id$
Author: Jeremy Dawson and Gerwin Klein, NICTA
contains arithmetic theorems for word, instantiations to