Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
stripped Id
authorhaftmann
Mon, 26 Jan 2009 22:14:18 +0100
changeset 29631 3aa049e5f156
parent 29630 199e2fb7f588
child 29632 c3d576157244
stripped Id
src/HOL/Int.thy file | annotate | diff | comparison | revisions
src/HOL/Word/BinBoolList.thy file | annotate | diff | comparison | revisions
src/HOL/Word/BinGeneral.thy file | annotate | diff | comparison | revisions
src/HOL/Word/BinOperations.thy file | annotate | diff | comparison | revisions
src/HOL/Word/BitSyntax.thy file | annotate | diff | comparison | revisions
src/HOL/Word/Size.thy file | annotate | diff | comparison | revisions
src/HOL/Word/TdThs.thy file | annotate | diff | comparison | revisions
src/HOL/Word/WordArith.thy file | annotate | diff | comparison | revisions
src/HOL/Word/WordBitwise.thy file | annotate | diff | comparison | revisions
src/HOL/Word/WordShift.thy file | annotate | diff | comparison | revisions 
--- 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
--- 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,
--- 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
--- 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 
--- 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.
--- 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.
--- 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, 
--- 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
--- 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
--- 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
isabelle