Diffusion afp-devel 2cd51acba0cf

update S_Finite_Measure_Monad to Isabelle2023
2cd51acba0cf
Actions

Tags

None

Subscribers

None

Description

update S_Finite_Measure_Monad to Isabelle2023

Details

Provenance

Authored on

Parents

rAFP760df33acd03: web pages for Standard_Borel_Spaces and S_Finite_Measure_Monad

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFP2cd51acba0cf: update S_Finite_Measure_Monad to Isabelle2023.Oct 12 2023, 1:22 AM

Changes (1)

Path

Size

thys/

S_Finite_Measure_Monad/

rAFP2cd51acba0cf

thys/S_Finite_Measure_Monad/Query.thy

Loading...