CS: possibility to disable backtracking; CZH: auxiliary results; ETTS: minor amendments
Description
Description
Details
Details
- Provenance
user9716869 <user9716869@gmail.com> Authored on - Parents
- rAFPc55c666012a3: used wfP_imp_asymp from HOL
- Branches
- Unknown
- Tags