HomeIsabelle/Phabricator

Create individual functions for the remaining "general functions" in…

Description

Create individual functions for the remaining "general functions" in process_env. There are still a few legacy entries.

Details

Provenance
dcjmAuthored on Mar 18 2019, 8:13 PM
Parents
rPOLYMLb6eef3849b3e: Change time functions to individual RTS calls rather than a single dispatch…
Branches
Unknown
Tags
Unknown