src/HOL/Tools/Sledgehammer/sledgehammer_isar_preplay.ML
changeset 82909 e4fae2227594
parent 82210 6c2a087159b7