removed usages of HOL.no_atp as its content and order is not guaranteed
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rAFP420a54d5addc: cleaning
- Branches
- Unknown
- Tags
removed usages of HOL.no_atp as its content and order is not guaranteed Tags None Subscribers None |