updated to polyml-5.8.1-20191113 test version (Poly/ML 055f20cdc326);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE6b03ce9b02c7: clarified vacuous selection vs. Pure;
- Branches
- Unknown
- Tags
updated to polyml-5.8.1-20191113 test version (Poly/ML 055f20cdc326); Tags None Subscribers None
Description
Details
|