HomeIsabelle/Phabricator

clarified log message (more uniform);

Authored by makarius.

Description

clarified log message (more uniform);

Details

Committed
makariusJul 3 2020, 4:48 PM
Parents
rISABELLE8bff286878bf: misc lemma tuning
Branches
Unknown
Tags
Unknown