src/HOL/Sledgehammer.thy
changeset 47988 e4b69e10b990
parent 46950 d0181abdbdac
child 48250 1065c307fafe