HomeIsabelle/Phabricator

Description

tuned proofs

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFP9ff0da80391b: renamings
Branches
Unknown
Tags
Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPd217041e01ee: tuned proofs.Tue, May 4, 10:27 AM