src/HOL/Tools/ATP/recon_transfer_proof.ML
changeset 19008 14c1b2f5dda4
parent 18797 8559cc115673
child 19046 bc5c6c9b114e