HomeIsabelle/Phabricator

added directory-entry in ROOT file of VerifyThis2019 (when merging from AFP…

Description

added directory-entry in ROOT file of VerifyThis2019 (when merging from AFP 2019)

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFPe10739c4e48f: merge from AFP 2019
Branches
Unknown
Tags
Unknown