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