added reference to isabelle on end slide