src/HOL/Tools/Sledgehammer/sledgehammer_util.ML
changeset 41648 6d736d983d5c
parent 41211 1e2e16bc0077
child 42290 b1f544c84040