HomeIsabelle/Phabricator
Diffusion afp-devel 62f87ac53318

update: Standard_Borel_Spaces
62f87ac53318
Actions

Description

update: Standard_Borel_Spaces

Details

Provenance
Michikazu Hirata <hirata.m.ac@m.titech.ac.jp>Authored on
Parents
rAFPbbd1dc798620: Merged
Branches
Unknown
Tags
Unknown

Event Timeline

Michikazu Hirata <hirata.m.ac@m.titech.ac.jp> committed rAFP62f87ac53318: update: Standard_Borel_Spaces.Sat, Apr 13, 1:34 AM

Changes (1)

PathSize
thys/
Standard_Borel_Spaces/

rAFP62f87ac53318

View Options

thys/Standard_Borel_Spaces/StandardBorel.thy

Loading...