diff -r d3ad5dc11ab3 -r 03de62208942 Slides/document/isabelle1.png
Binary file Slides/document/isabelle1.png has changed