updated to polyml-5.8.1 (official release);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEefb7fd4a6d1f: subtle change of Theory_Data extend/merge semantics due to Theory.join_theory;
- Branches
- Unknown
- Tags
updated to polyml-5.8.1 (official release); Tags None Subscribers None |