clarified session: no parent image for minor theory imports;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEb155681b9f6a: removed obsolete created_temp_dir: ISABELLE_TMP is always present for theā¦
- Branches
- Unknown
- Tags