HomeIsabelle/Phabricator

adjust proof after merge to development version

Description

adjust proof after merge to development version

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFP49bfc4286ee3: merge from AFP 2024 + rerun sitegen
Branches
Unknown
Tags
Unknown