# HG changeset patch
# User haftmann
# Date 1233004458 -3600
# Node ID 3aa049e5f15672582e5838969b8be17b963c9e0c
# Parent  199e2fb7f588a986e6792fce96ca97bb374fd379
stripped Id

diff -r 199e2fb7f588 -r 3aa049e5f156 src/HOL/Int.thy
--- a/src/HOL/Int.thy	Mon Jan 26 22:14:17 2009 +0100
+++ b/src/HOL/Int.thy	Mon Jan 26 22:14:18 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Int.thy
-    ID:         $Id$
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
                 Tobias Nipkow, Florian Haftmann, TU Muenchen
     Copyright   1994  University of Cambridge
diff -r 199e2fb7f588 -r 3aa049e5f156 src/HOL/Word/BinBoolList.thy
--- a/src/HOL/Word/BinBoolList.thy	Mon Jan 26 22:14:17 2009 +0100
+++ b/src/HOL/Word/BinBoolList.thy	Mon Jan 26 22:14:18 2009 +0100
@@ -1,5 +1,4 @@
 (* 
-  ID:     $Id$
   Author: Jeremy Dawson, NICTA
 
   contains theorems to do with integers, expressed using Pls, Min, BIT,
diff -r 199e2fb7f588 -r 3aa049e5f156 src/HOL/Word/BinGeneral.thy
--- a/src/HOL/Word/BinGeneral.thy	Mon Jan 26 22:14:17 2009 +0100
+++ b/src/HOL/Word/BinGeneral.thy	Mon Jan 26 22:14:18 2009 +0100
@@ -1,5 +1,4 @@
 (* 
-  ID:     $Id$
   Author: Jeremy Dawson, NICTA
 
   contains basic definition to do with integers
diff -r 199e2fb7f588 -r 3aa049e5f156 src/HOL/Word/BinOperations.thy
--- a/src/HOL/Word/BinOperations.thy	Mon Jan 26 22:14:17 2009 +0100
+++ b/src/HOL/Word/BinOperations.thy	Mon Jan 26 22:14:18 2009 +0100
@@ -1,5 +1,4 @@
 (* 
-  ID:     $Id$
   Author: Jeremy Dawson and Gerwin Klein, NICTA
 
   definition and basic theorems for bit-wise logical operations 
diff -r 199e2fb7f588 -r 3aa049e5f156 src/HOL/Word/BitSyntax.thy
--- a/src/HOL/Word/BitSyntax.thy	Mon Jan 26 22:14:17 2009 +0100
+++ b/src/HOL/Word/BitSyntax.thy	Mon Jan 26 22:14:18 2009 +0100
@@ -1,5 +1,4 @@
 (* 
-  ID:     $Id$
   Author: Brian Huffman, PSU and Gerwin Klein, NICTA
 
   Syntactic class for bitwise operations.
diff -r 199e2fb7f588 -r 3aa049e5f156 src/HOL/Word/Size.thy
--- 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.
diff -r 199e2fb7f588 -r 3aa049e5f156 src/HOL/Word/TdThs.thy
--- a/src/HOL/Word/TdThs.thy	Mon Jan 26 22:14:17 2009 +0100
+++ b/src/HOL/Word/TdThs.thy	Mon Jan 26 22:14:18 2009 +0100
@@ -1,5 +1,4 @@
 (* 
-    ID:         $Id$
     Author:     Jeremy Dawson and Gerwin Klein, NICTA
 
   consequences of type definition theorems, 
diff -r 199e2fb7f588 -r 3aa049e5f156 src/HOL/Word/WordArith.thy
--- 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
diff -r 199e2fb7f588 -r 3aa049e5f156 src/HOL/Word/WordBitwise.thy
--- a/src/HOL/Word/WordBitwise.thy	Mon Jan 26 22:14:17 2009 +0100
+++ b/src/HOL/Word/WordBitwise.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 bit-wise (logical) operations on words
diff -r 199e2fb7f588 -r 3aa049e5f156 src/HOL/Word/WordShift.thy
--- 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