HomeIsabelle/Phabricator
Diffusion afp-devel 939b2cac7db2

sort ROOTS
939b2cac7db2
Actions

Description

sort ROOTS

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFP2ab2fce3a9d1: slightly generalized lemmas
Branches
Unknown
Tags
Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP939b2cac7db2: sort ROOTS.Aug 26 2020, 1:43 PM

Changes (1)

PathSize
thys/

rAFP939b2cac7db2

View Options

thys/ROOTS

Loading...