proper proof body context for Simplifier plugins (solvers, loopers, ...) -- avoid crash due to Subgoal.FOCUS (before e58bc223f46c);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEe58bc223f46c: more robust bound_fixes: external name does appear in "fixes" name space and…
- Branches
- Unknown
- Tags