Changes

Summary

merged
de-applying
dropped junk
typo
NEWS and CONTRIBUTORS
integrated generic conversions into word corpse
more lemmas

Changeset 72267:121b838a0ba8 by paulson: merged
Changeset 72266:1e02b86eb517 by paulson _lp15@cam.ac.uk_: de-applying
The file was modified	`src/HOL/Complex_Analysis/Cauchy_Integral_Formula.thy` (diff)
Changeset 72265:ff32ddc8165c by haftmann: dropped junk
The file was modified	`src/HOL/Computational_Algebra/Polynomial_Factorial.thy` (diff)
The file was modified	`src/HOL/Real_Asymp/Multiseries_Expansion.thy` (diff)
The file was modified	`src/HOL/Word/Word.thy` (diff)
Changeset 72264:47253b1a31ed by haftmann: typo
The file was modified	`NEWS` (diff)
Changeset 72263:c0a552515c29 by haftmann: NEWS and CONTRIBUTORS
The file was modified	`CONTRIBUTORS` (diff)
The file was modified	`NEWS` (diff)
Changeset 72262:a282abb07642 by haftmann: integrated generic conversions into word corpse
The file was modified	`src/HOL/Divides.thy` (diff)
The file was modified	`src/HOL/Library/Bit_Operations.thy` (diff)
The file was modified	`src/HOL/Parity.thy` (diff)
The file was modified	`src/HOL/ROOT` (diff)
The file was modified	`src/HOL/SPARK/Examples/RIPEMD-160/F.thy` (diff)
The file was modified	`src/HOL/SPARK/Examples/RIPEMD-160/Hash.thy` (diff)
The file was modified	`src/HOL/SPARK/Examples/RIPEMD-160/Round.thy` (diff)
The file was modified	`src/HOL/Word/More_Word.thy` (diff)
The file was modified	`src/HOL/Word/Word.thy` (diff)
The file was modified	`src/HOL/ex/Bit_Lists.thy` (diff)
The file was removed	`src/HOL/Word/Conversions.thy`
Changeset 72261:5193570b739a by haftmann: more lemmas
The file was modified	`src/HOL/Divides.thy` (diff)
The file was modified	`src/HOL/Library/Bit_Operations.thy` (diff)
The file was modified	`src/HOL/Parity.thy` (diff)
The file was modified	`src/HOL/Word/Bits_Int.thy` (diff)
The file was modified	`src/HOL/Word/Conversions.thy` (diff)
The file was modified	`src/HOL/Word/Word.thy` (diff)