src/HOL/Tools/Sledgehammer/sledgehammer_util.ML
changeset 37724 6607ccf77946
parent 37575 cfc5e281740f
child 37962 d7dbe01f48d7