HomeIsabelle/Phabricator

updated to polyml-5.8.1-20191113 test version (Poly/ML 055f20cdc326);

Authored by makarius.

Description

updated to polyml-5.8.1-20191113 test version (Poly/ML 055f20cdc326);

Details

Committed
makariusNov 24 2019, 10:54 PM
Parents
rISABELLE6b03ce9b02c7: clarified vacuous selection vs. Pure;
Branches
Unknown
Tags
Unknown