"Software Foundations" in Isabelle