src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML
changeset 78659 b5f3d1051b13
parent 77425 bde374587d93
child 78695 41273636a82a