more uniform components context for the managing "self_isabelle" and the managed "other_isabelle";
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEc8d34e74a12b: tuned signature;
- Branches
- Unknown
- Tags
more uniform components context for the managing "self_isabelle" and the… Tags None Subscribers None
Description
Details
|