src/HOL/Tools/Sledgehammer/sledgehammer_run.ML
changeset 50510 7e4f2f8d9b50
parent 50201 c26369c9eda6
child 50557 31313171deb5