HomeIsabelle/Phabricator

clarified theory data: more robust merge;

Authored by makarius.

Description

clarified theory data: more robust merge;

Details

Committed
makariusThu, Jul 16, 8:34 PM
Parents
rISABELLE18d35be9493f: proper import sessions;
Branches
Unknown
Tags
Unknown