src/HOL/Tools/ATP/recon_translate_proof.ML
changeset 19599 a5c7eb37d14f
parent 17776 4a518eec4a20
child 19643 213e12ad2c03