proper check of Proof.is_relevant (again, cf. c3e99efacb67 and df8fc0567a3d);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE3fe0d8d55975: support nested Thy_Syntax.element;
- Branches
- Unknown
- Tags
proper check of Proof.is_relevant (again, cf. c3e99efacb67 and df8fc0567a3d); Tags None Subscribers None |