HomeIsabelle/Phabricator
Diffusion afp-devel 617250b3ba2a

theory files for S_Finite_Measure_Monad + Standard_Borel_Spaces
617250b3ba2a
Actions

Description

theory files for S_Finite_Measure_Monad + Standard_Borel_Spaces

Details

Provenance
kleingAuthored on
Parents
rAFPf5eb260e64c9: new entry IO_Language_Conformance
Branches
Unknown
Tags
Unknown

Changes (27)

PathSize

rAFP617250b3ba2a

View Options

thys/ROOTS

Loading...
View Options

thys/S_Finite_Measure_Monad/Kernels.thy

Loading...
View Options

thys/S_Finite_Measure_Monad/Lemmas_S_Finite_Measure_Monad.thy

Loading...
View Options

thys/S_Finite_Measure_Monad/Measure_QuasiBorel_Adjunction.thy

Loading...
View Options

thys/S_Finite_Measure_Monad/Monad_QuasiBorel.thy

Loading...
View Options

thys/S_Finite_Measure_Monad/Montecarlo.thy

Loading...
View Options

thys/S_Finite_Measure_Monad/QBS_Morphism.thy

Loading...
View Options

thys/S_Finite_Measure_Monad/QuasiBorel.thy

Loading...
View Options

thys/S_Finite_Measure_Monad/Query.thy

Loading...
View Options

thys/S_Finite_Measure_Monad/ROOT

Loading...
View Options

thys/S_Finite_Measure_Monad/document/root.bib

Loading...
View Options

thys/S_Finite_Measure_Monad/document/root.tex

Loading...
View Options

thys/S_Finite_Measure_Monad/qbs.ML

Loading...
View Options

thys/Standard_Borel_Spaces/Abstract_Metrizable_Topology.thy

Loading...
View Options

thys/Standard_Borel_Spaces/Lemmas_StandardBorel.thy

Loading...
View Options

thys/Standard_Borel_Spaces/ROOT

Loading...
View Options

thys/Standard_Borel_Spaces/Set_Based_Metric_Product.thy

Loading...
View Options

thys/Standard_Borel_Spaces/Set_Based_Metric_Space.thy

Loading...
View Options

thys/Standard_Borel_Spaces/Space_of_Continuous_Maps.thy

Loading...
View Options

thys/Standard_Borel_Spaces/StandardBorel.thy

Loading...
View Options

thys/Standard_Borel_Spaces/document/root.bib

Loading...
View Options

thys/Standard_Borel_Spaces/document/root.tex

Loading...