HomePhabricator

retain type information from reconstruct_proof, notably for Export_Theory.

Authored by makarius.

Description

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

Details

Committed
makariusNov 8 2019, 8:12 PM
Parents
rISABELLE907b7a6471a0: tuned proofs;
Branches
Unknown
Tags
Unknown