src/HOL/Tools/res_atpset.ML
changeset 20328 5b240a4216b0
parent 19170 a55a3464a1de
child 20547 796ae7fa1049