HomeIsabelle/Phabricator

more uniform components context for the managing "self_isabelle" and the…

Description

more uniform components context for the managing "self_isabelle" and the managed "other_isabelle";

Details

Provenance
makariusAuthored on
Parents
rISABELLEc8d34e74a12b: tuned signature;
Branches
Unknown
Tags
Unknown