src/HOL/Tools/res_atp.ML
changeset 28500 4b79e5d3d0aa
parent 28477 9339d4dcec8b
child 29267 8615b4f54047