HomeIsabelle/Phabricator

support n-ary merge theory data;

Description

support n-ary merge theory data;
less redundant use of ids and stages;

Details

Provenance
makariusAuthored on
Parents
rISABELLE186bd4012b78: tuned;
Branches
Unknown
Tags
Unknown