Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

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
Changeset 76247:e19d4c1c48ce by haftmann:
spelling
The file was modified src/HOL/Library/Rounded_Division.thy
Changeset 76246:c9ea813f92f2 by haftmann:
tuned proof
The file was modified src/HOL/Euclidean_Division.thy
Changeset 76245:4111c94657b4 by haftmann:
slightly less abusive proof pattern
The file was modified src/HOL/Computational_Algebra/Polynomial.thy
The file was modified src/HOL/Euclidean_Division.thy

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. slightly less abusive proof pattern
Changeset 13069:ad6ac3e1e898 by haftmann:
slightly less abusive proof pattern
The file was modified thys/Polynomial_Interpolation/Ring_Hom_Poly.thy