src/HOL/Sledgehammer.thy
changeset 45802 b16f976db515
parent 43085 0a2f5b86bdd7
child 46950 d0181abdbdac