# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1279896096 -7200
# Node ID 76434267652057d6a5ec91e830df62dacf9330a7
# Parent  2f13fe48c87719c9b9d68cc88d66e8acd2ca7a32
added

diff -r 2f13fe48c877 -r 764342676520 Literature/newtypes.pdf
Binary file Literature/newtypes.pdf has changed