HomeIsabelle/Phabricator

clarified -- avoid non-standard extend/merge;

Authored by makarius.

Description

clarified -- avoid non-standard extend/merge;

Details

Committed
makariusFri, Jul 17, 7:10 PM
Parents
rISABELLEb9f5f30b623f: proper session imports;
Branches
Unknown
Tags
Unknown