src/HOL/Tools/Sledgehammer/sledgehammer_isar_annotate.ML
changeset 56128 c106ac2ff76d
parent 55286 7bbbd9393ce0
child 57467 03345dad8430