Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

proof-of-concept theory for bit operations without a constructivistic representation and a minimal common logical foundation

Changeset 71042:400e9512f1d3 by haftmann: proof-of-concept theory for bit operations without a constructivistic representation and a minimal common logical foundation
The file was added	`src/HOL/ex/Bit_Operations.thy`
The file was added	`src/HOL/ex/Word.thy`
The file was modified	`src/HOL/Library/Boolean_Algebra.thy`
The file was modified	`src/HOL/ROOT`
The file was modified	`src/HOL/ex/Bit_Lists.thy`
The file was removed	`src/HOL/ex/Word_Type.thy`