HomeIsabelle/Phabricator

added missing name mapping to migration;

Description

added missing name mapping to migration;

Details

Provenance
Fabian Huch <huch@in.tum.de>Authored on
Parents
rAFPa125cf87f609: proper output path;
Branches
Unknown
Tags
Unknown