avoid hard-wired document;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rAFP3bd251ed7010: removed usages of HOL.no_atp as its content and order is not guaranteed
- Branches
- Unknown
- Tags
avoid hard-wired document; Tags None Subscribers None
Description
Details
|