src/HOL/ex/sledgehammer_tactics.ML
changeset 45231 d85a2fdc586c
parent 44651 5d6a11e166cf
child 45514 973bb7846505