proper context for Goal.prove_internal;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEc960bfcb91db: discontinued Term.dest_abs / Logic.dest_all, which are officially superseded by…
- Branches
- Unknown
- Tags
- Reverted By
- rISABELLE823ccd84b879: revert bbfed17243af, breaks HOL-Proofs extraction;