Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. tuned proofs;
  3. tuned proofs;
Changeset 63848:c948738d31aa by wenzelm:
merged
Changeset 63847:34dccc2dd6db by wenzelm:
tuned proofs;
The file was modified src/HOL/Algebra/Divisibility.thy (diff)
Changeset 63846:23134a486dc6 by wenzelm:
tuned proofs;
The file was modified src/HOL/Algebra/Divisibility.thy (diff)