retain type information from reconstruct_proof, notably for Export_Theory.export_thm;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE907b7a6471a0: tuned proofs;
- Branches
- Unknown
- Tags
retain type information from reconstruct_proof, notably for Export_Theory. Tags None Subscribers None
Description
Details
|