diff -r a6f3e1b08494 -r b6873d123f9b Slides/document/isabelle1.png
Binary file Slides/document/isabelle1.png has changed