more robust: proper transfer if Context.eq_thy_id;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE309eeea0b2c6: merged
- Branches
- Unknown
- Tags
more robust: proper transfer if Context.eq_thy_id; Tags None Subscribers None
Description
Details
|