lift BNF witnesses for quotients (unless better ones are specified by the user)
Description
Description
Details
Details
- Provenance
traytel Authored on - Parents
- rISABELLE910a081cca74: more position information for oracles (e.g. "skip_proof" for 'sorry'), requires…
- Branches
- Unknown
- Tags