HomeIsabelle/Phabricator
Diffusion Poly/ML 8cb5a80011ef

Refactor the removing of leading and trailing zeros
8cb5a80011ef
Actions

Description

Refactor the removing of leading and trailing zeros

Details

Provenance
quanrong <quanrong@mailbox.org>Authored on May 31 2023, 8:59 PM
Parents
rPOLYML0c6a7c1a7ba5: fromString: remove possible leading zeros in il@fl
Branches
Unknown
Tags
Unknown

Event Timeline

quanrong <quanrong@mailbox.org> committed rPOLYML8cb5a80011ef: Refactor the removing of leading and trailing zeros (authored by quanrong <quanrong@mailbox.org>).May 31 2023, 8:59 PM

Changes (1)

PathSize
basis/

rPOLYML8cb5a80011ef

View Options

basis/IEEEReal.sml

Loading...