HomeIsabelle/Phabricator
Diffusion afp-devel 5ff7e30065ca

cosmetical change
5ff7e30065ca
Actions

Description

cosmetical change

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFPeb25b0b685f2: website for Safe_Distance
Branches
Unknown
Tags
Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP5ff7e30065ca: cosmetical change.Jun 24 2020, 3:53 PM

Changes (1)

PathSize
thys/
Simplex/

rAFP5ff7e30065ca

View Options

thys/Simplex/QDelta.thy

Loading...