# HG changeset patch # User Christian Urban # Date 1454667401 0 # Node ID c3d7125f9950c7cec292eb0edb5e6fd5c7b872ff # Parent a33d3040bf7e10c9d809d71dcd6dd4a87b40e87e added new version of paper by sulzmann diff -r a33d3040bf7e -r c3d7125f9950 Literature/sulzmann14-new.pdf Binary file Literature/sulzmann14-new.pdf has changed