HomeIsabelle/Phabricator

renamings to ensure consistency with paper description

Description

renamings to ensure consistency with paper description

Details

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