HomeIsabelle/Phabricator

Remove conversion functions from Bootstrap structure now that they are no…

Description

Remove conversion functions from Bootstrap structure now that they are no longer used.

Details

Provenance
dcjmAuthored on Nov 6 2020, 6:45 PM
Parents
rPOLYMLf33801c0694e: Fix project file after correcting spelling mistake in file name.
Branches
Unknown
Tags
Unknown