diff -r fb201e383f1b -r da575186d492 Slides/document/barendregt.jpg
Binary file Slides/document/barendregt.jpg has changed