src/HOL/Tools/Sledgehammer/sledgehammer_isar_preplay.ML
changeset 82900 bd3685e5f883
parent 82210 6c2a087159b7