instructions how to use Leon with Isabelle