src/HOL/Tools/ATP/atp_proof_reconstruct.ML
changeset 58080 42e998248ddc
parent 57820 b510819d58ee
child 58091 ecf5826ba234