Solution to some exercises from "Concrete Semantics with Isabelle" book by T. Nipkow and G. Klein.