HomeIsabelle/Phabricator
Diffusion afp-devel 2db006965e8e

fix document generator: _ -> -
2db006965e8e
Actions

Description

fix document generator: _ -> -

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFP62f87ac53318: update: Standard_Borel_Spaces
Branches
Unknown
Tags
Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP2db006965e8e: fix document generator: _ -> -.Sat, Apr 13, 8:02 AM

Changes (1)

PathSize
thys/
Show/

rAFP2db006965e8e

View Options

thys/Show/Number_Parser.thy

Loading...