Diffusion Isabelle e414bcc5a39e

Acknowledgement of Ata Keskin for his Martingales material
e414bcc5a39e
Actions

Tags

None

Subscribers

None

Description

Acknowledgement of Ata Keskin for his Martingales material

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLEef2134570abb: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLEe414bcc5a39e: Acknowledgement of Ata Keskin for his Martingales material.Thu, Apr 18, 2:07 PM

Changes (3)

Path

Size

src/

HOL/

Analysis/

Elementary_Metric_Spaces.thy

Set_Integral.thy

rISABELLEe414bcc5a39e

CONTRIBUTORS

Loading...

src/HOL/Analysis/Elementary_Metric_Spaces.thy

Loading...

src/HOL/Analysis/Set_Integral.thy

Loading...