src/HOL/Tools/ATP/res_clasimpset.ML
changeset 19599 a5c7eb37d14f
parent 19480 868cf5051ff5
child 19675 a4894fb2a5f2