check that Isar proofs contain one 'show'
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rISABELLE4a4db49e6d05: include unnamed chained facts in Sledgehammer's relevance filter
- Branches
- Unknown
- Tags
check that Isar proofs contain one 'show' Tags None Subscribers None |