src/HOL/Tools/Sledgehammer/sledgehammer_isar_minimize.ML
changeset 56128 c106ac2ff76d
parent 55452 29ec8680e61f
child 57054 fed0329ea8e2