diff -r 1f961c9e4dd6 -r 193a9fdcedd6 Slides/pics/isabelle.png
Binary file Slides/pics/isabelle.png has changed