stated goals of some lemmas explicitely to prevent silent changes
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE82a36e3d1b55: rewrite proofs using to_pred attribute on existing lemmas
- Branches
- Unknown
- Tags
stated goals of some lemmas explicitely to prevent silent changes Tags None Subscribers None |