A conversion of software foundations to Isabelle. This version is currently out of date but might still be interesting for the purpose of learning Isabelle.