src/HOL/Tools/res_atp_provers.ML
changeset 19008 14c1b2f5dda4
parent 18726 02b310b1fa10
child 19129 b66dff8ab7e9