Remove stuff following Isabelle/d0205dde00bb and related changesets
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rAFP290c21126e86: fixed broken definitions and proofs following Isabelle/8d153846f65f
- Branches
- Unknown
- Tags