HomeIsabelle/Phabricator

proforma use of Long_Name.chunks, without change of the representation of…

Description

proforma use of Long_Name.chunks, without change of the representation of accesses yet;

Details

Provenance
makariusAuthored on
Parents
rISABELLE5b798c255af1: merged
Branches
Unknown
Tags
Unknown