HomeIsabelle/Phabricator

updates to new time function generator that now translates undefined to…

Description

updates to new time function generator that now translates undefined to undefined, not 0

Details

Provenance
nipkowAuthored on
Parents
rAFP18437ad04fb8: Fixes mostly for log_mono aliasing
Branches
Unknown
Tags
Unknown