![[Jenkins]](/jenkins/static/21caf10b/images/svgs/logo.svg){kind=logo}
Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)
Summary
- updated Standard Borel and S-finite measure monad
| The file was modified | thys/S_Finite_Measure_Monad/Kernels.thy |
| The file was modified | thys/S_Finite_Measure_Monad/Measure_QuasiBorel_Adjunction.thy |
| The file was modified | thys/S_Finite_Measure_Monad/Monad_QuasiBorel.thy |
| The file was modified | thys/S_Finite_Measure_Monad/QBS_Morphism.thy |
| The file was modified | thys/S_Finite_Measure_Monad/QuasiBorel.thy |
| The file was modified | thys/Standard_Borel_Spaces/StandardBorel.thy |