src/HOL/Tools/Sledgehammer/sledgehammer_util.ML
changeset 42546 8591fcc56c34
parent 42290 b1f544c84040
child 42680 b6c27cf04fe9