clarified signature: name of standard_proof is authentic, otherwise empty;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEbd4d37edfee4: clarified expand_proof/expand_name: allow more detailed control via thm_header;
- Branches
- Unknown
- Tags