Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. Partial de-apply of Divisibility
Changeset 68471:409ed528aad4 by paulson:
merged
Changeset 68470:7ddcce75c3ee by paulson _lp15@cam.ac.uk_:
Partial de-apply of Divisibility
The file was modified src/HOL/Algebra/Divisibility.thy (diff)