From 001a3d21cc7d37fed421921c9a08cec6eb537dfd Mon Sep 17 00:00:00 2001 From: Florian Dold Date: Sun, 27 Oct 2019 21:30:34 +0100 Subject: add Dold's PhD thesis to bibliography --- papers/thesis-dold-phd-2019.pdf | Bin 0 -> 2571263 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 papers/thesis-dold-phd-2019.pdf (limited to 'papers/thesis-dold-phd-2019.pdf') diff --git a/papers/thesis-dold-phd-2019.pdf b/papers/thesis-dold-phd-2019.pdf new file mode 100644 index 00000000..9adc8d1a Binary files /dev/null and b/papers/thesis-dold-phd-2019.pdf differ -- cgit v1.2.3