rewrite proofs using to_pred attribute on existing lemmas
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE6cd6c553b480: clarified signature: less redundancy;
- Branches
- Unknown
- Tags
rewrite proofs using to_pred attribute on existing lemmas Tags None Subscribers None |