HomeIsabelle/Phabricator

CS: possibility to disable backtracking; CZH: auxiliary results; ETTS: minor…

Description

CS: possibility to disable backtracking; CZH: auxiliary results; ETTS: minor amendments

Details

Provenance
user9716869 <user9716869@gmail.com>Authored on
Parents
rAFPc55c666012a3: used wfP_imp_asymp from HOL
Branches
Unknown
Tags
Unknown