https://9dok.net/document/yr36v45o-exercise-methods-and-rules-in-isabelle-hol.html