Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. More clear-up of Divisibility
  3. updated to polyml-5.7.1-6;
  4. clarified documentation;
  5. merged
  6. Partial de-apply of Divisibility
Changeset 68475:b6e48841d0a5 by paulson:
merged
Changeset 68474:346bdafaf5fa by paulson _lp15@cam.ac.uk_:
More clear-up of Divisibility
The file was modified src/HOL/Algebra/Divisibility.thy (diff)
Changeset 68473:1b8457cc4de8 by wenzelm:
updated to polyml-5.7.1-6;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified Admin/polyml/README (diff)
Changeset 68472:581a1bfec8ad by wenzelm:
clarified documentation;
The file was modified NEWS (diff)
The file was modified src/Doc/JEdit/JEdit.thy (diff)
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)