src/HOL/Tools/Sledgehammer/sledgehammer_fact.ML
changeset 56128 c106ac2ff76d
parent 56032 b034b9f0fa2a
child 56140 ed92ce2ac88e