HomeIsabelle/Phabricator

avoid shadowing of local bindings -- more maintainable;

Authored by makarius.

Description

avoid shadowing of local bindings -- more maintainable;

Details

Committed
makariusNov 30 2019, 3:56 PM
Parents
rISABELLE785610ad6bfa: export spec rules;
Branches
Unknown
Tags
Unknown