more Isabelle/ML/Scala operations;
clarified errors;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE0b8411b27059: proper src1, amending 20157c8ab3f3;
- Branches
- Unknown
- Tags
more Isabelle/ML/Scala operations; Tags None Subscribers None
Description
Details
|