katherine-drabek documents

Final complete version of presentation with Isabelle and Lesley notes
Documents Final complete version of presentation with Isabelle and Lesley notes