src/HOL/Tools/res_atp.ML
changeset 15703 727ef1b8b3ee
parent 15700 970e0293dfb3
child 15736 1bb0399a9517