Adapted to isabelle-dev/159e33bdddc6
Description
Description
Details
Details
- Provenance
pruvisto Authored on - Parents
- rAFP62197b3a4d53: More robust proof in Slicing
- Branches
- Unknown
- Tags
- Reverted By
- rAFPdfe61dcb44e3: Backed out changeset c78f358a496d