# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1512650722 0
# Node ID 281ce101cda6d045466b38aaa6c29f9396bd3c65
# Parent  c840a99a3e05dade0b40cddcb83dd42a66f46741
updated

diff -r c840a99a3e05 -r 281ce101cda6 Literature/agda-bit-coded.pdf
Binary file Literature/agda-bit-coded.pdf has changed