HomeIsabelle/Phabricator

localized example to avoid name clashes

Description

localized example to avoid name clashes

Details

Provenance
nipkowAuthored on
Parents
rAFP418c1c0d3a98: tuned names
Branches
Unknown
Tags
Unknown