src/HOL/Sledgehammer.thy
changeset 44165 d26a45f3c835
parent 43085 0a2f5b86bdd7
child 46950 d0181abdbdac