revert bbfed17243af, breaks HOL-Proofs extraction;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEa1aa42743d7d: tuned;
- Branches
- Unknown
- Tags
- Reverts
- rISABELLEbbfed17243af: proper context for Goal.prove_internal;