HomeIsabelle/Phabricator
Diffusion afp-devel 81de808826f9

updated:Standard_Borel_Spaces
81de808826f9
Actions

Description

updated:Standard_Borel_Spaces

Details

Provenance
Michikazu Hirata <hirata.m.ac@m.titech.ac.jp>Authored on
Parents
rAFP2db006965e8e: fix document generator: _ -> -
Branches
Unknown
Tags
Unknown

Event Timeline

Michikazu Hirata <hirata.m.ac@m.titech.ac.jp> committed rAFP81de808826f9: updated:Standard_Borel_Spaces.Sun, Apr 14, 7:58 AM

Changes (2)

PathSize
thys/
Standard_Borel_Spaces/

rAFP81de808826f9

View Options

thys/Standard_Borel_Spaces/Abstract_Metrizable_Topology.thy

Loading...
View Options

thys/Standard_Borel_Spaces/StandardBorel.thy

Loading...