HomeIsabelle/Phabricator

a proof of concept for generic conversions

Description

a proof of concept for generic conversions

Details

Provenance
florian.haftmannAuthored on
Parents
rAFPa7b99e8a1d84: tuned
Branches
Unknown
Tags
Unknown

Empty Commit

This commit is empty and does not affect any paths.