diff -r e4050732ba15 -r f4112721a4b9 Slides/document/barendregt.jpg
Binary file Slides/document/barendregt.jpg has changed