HomeIsabelle/Phabricator

Modified all design locale parameters to be nats instead of ints. Fixed proofs…

Description

Modified all design locale parameters to be nats instead of ints. Fixed proofs as required.

Details

Provenance
cledmondsAuthored on
Parents
rAFPe8154678b2e1: merge from afp-2021-1
Branches
Unknown
Tags
Unknown