HomeIsabelle/Phabricator

retain type information from reconstruct_proof, notably for Export_Theory.

Description

retain type information from reconstruct_proof, notably for Export_Theory.export_thm;

Details

Provenance
makariusAuthored on
Parents
rISABELLE907b7a6471a0: tuned proofs;
Branches
Unknown
Tags
Unknown