Improve Isabelle paper