Added isabelles pictures
added reference to isabelle on end slide