src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML
changeset 66787 64b47495676d
parent 65458 cf504b7a7aa7
child 67560 0fa87bd86566
equal deleted inserted replaced
66786:61617dafcd60 66787:64b47495676d