src/HOL/Tools/ATP/recon_transfer_proof.ML
changeset 19599 a5c7eb37d14f
parent 19199 b338c218cc6e
child 19617 7cb4b67d4b97