Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. note on signed division on words
  2. tuned definition
  3. spelling
  4. tuned proof
  5. slightly less abusive proof pattern
Changeset 76249:4a064fad28b2 by haftmann:
note on signed division on words
The file was addedsrc/HOL/ex/Note_on_signed_division_on_words.thy
Changeset 76248:da4e57d30579 by haftmann:
tuned definition
The file was modified src/HOL/Library/Rounded_Division.thy (diff)
Changeset 76247:e19d4c1c48ce by haftmann:
spelling
The file was modified src/HOL/Library/Rounded_Division.thy (diff)
Changeset 76246:c9ea813f92f2 by haftmann:
tuned proof
The file was modified src/HOL/Euclidean_Division.thy (diff)
Changeset 76245:4111c94657b4 by haftmann:
slightly less abusive proof pattern
The file was modified src/HOL/Computational_Algebra/Polynomial.thy (diff)
The file was modified src/HOL/Euclidean_Division.thy (diff)