more options: update ISABELLE_IDENTIFIER;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEd1767bcb79ec: clarified conditional ML;
- Branches
- Unknown
- Tags
more options: update ISABELLE_IDENTIFIER; Tags None Subscribers None |