diff -r 9d667d545e32 -r 0f2d4b78f839 Slides/document/isabelle.png
Binary file Slides/document/isabelle.png has changed