HomeIsabelle/Phabricator

renamed constant

Description

renamed constant

Details

Provenance
nipkowAuthored on
Parents
rISABELLE32ac6d3d1623: merged
Branches
Unknown
Tags
Unknown