HomeIsabelle/Phabricator

allow instance for nat

Description

allow instance for nat

(by Florian)

Details

Provenance
kleingAuthored on
Parents
rAFP824ba5ec1ce6: merge from afp-2020
Branches
Unknown
Tags
Unknown