avoided recomputation in Cooper.djf and ran isabelle regenerate_cooper
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE7add2d5322a7: Tidied several ugly proofs in some elderly examples
- Branches
- Unknown
- Tags
avoided recomputation in Cooper.djf and ran `isabelle regenerate_cooper` Tags None Subscribers None |