HomeIsabelle/Phabricator

clarified contexts;

Authored by makarius.

Description

clarified contexts;
prefer named facts;

Details

Committed
makariusNov 7 2019, 3:16 PM
Parents
rISABELLEe06852132c1d: tuned messages;
Branches
Unknown
Tags
Unknown