HomeIsabelle/Phabricator

afp structure: added accessors;

Description

afp structure: added accessors;

Details

Provenance
Fabian Huch <huch@in.tum.de>Authored on
Parents
rAFP924196498890: hugo site: minor changes;
Branches
Unknown
Tags
Unknown