Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. Acknowledgement of Ata Keskin for his Martingales material
Changeset 80133:e414bcc5a39e by paulson _lp15@cam.ac.uk_:
Acknowledgement of Ata Keskin for his Martingales material
The file was modified CONTRIBUTORS
The file was modified src/HOL/Analysis/Elementary_Metric_Spaces.thy
The file was modified src/HOL/Analysis/Set_Integral.thy