Diffusion afp-devel c8af5d9d7868

update Standard_Borel_Spaces to Isabelle2023
c8af5d9d7868
Actions

Tags

None

Subscribers

None

Description

update Standard_Borel_Spaces to Isabelle2023

Details

Provenance

Authored on

Parents

rAFP617250b3ba2a: theory files for S_Finite_Measure_Monad + Standard_Borel_Spaces

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFPc8af5d9d7868: update Standard_Borel_Spaces to Isabelle2023.Oct 12 2023, 12:52 AM

Changes (5)

Path

Size

thys/

S_Finite_Measure_Monad/

Standard_Borel_Spaces/

Abstract_Metrizable_Topology.thy

Lemmas_StandardBorel.thy

Space_of_Continuous_Maps.thy

rAFPc8af5d9d7868

thys/S_Finite_Measure_Monad/ROOT

Loading...

thys/Standard_Borel_Spaces/Abstract_Metrizable_Topology.thy

Loading...

thys/Standard_Borel_Spaces/Lemmas_StandardBorel.thy

Loading...

thys/Standard_Borel_Spaces/ROOT

Loading...

thys/Standard_Borel_Spaces/Space_of_Continuous_Maps.thy

Loading...