HomeIsabelle/Phabricator

tuned --- based on hints by IntelliJ;

Authored by makarius.

Description

tuned --- based on hints by IntelliJ;

Details

Committed
makariusTue, Jul 21, 7:43 PM
Parents
rISABELLEd0909b5d88eb: tuned signature;
Branches
Unknown
Tags
Unknown