HomePhabricator

expose derivations more thoroughly, notably for locale/class reasoning;

Authored by makarius.

Description

expose derivations more thoroughly, notably for locale/class reasoning;

Details

Committed
makariusNov 3 2019, 8:38 PM
Parents
rISABELLEb05d78bfc67c: clarified errors;
Branches
Unknown
Tags
Unknown