From b4faf763660070e882f9f09985238e0fe4f47ad3 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Fri, 29 Nov 2019 16:52:10 +0100
Subject: Change link

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 0837880..c1a30c2 100644
--- a/README.md
+++ b/README.md
@@ -21,7 +21,7 @@ Work is slowly ongoing to develop the logic into a fully-featured framework in w
 While Isabelle has provided support for object logics based on Martin-Löf type theory since the beginning, these have largely been ignored in favor of Isabelle/HOL.
 Thus this project is also an experiment in creating a viable framework, based on dependent type theory, inside the simple type theoretic foundations of Isabelle/Pure.
 
-A writeup of some theoretical considerations in this implementation is in my [Masters thesis](https://joshchen.io/assets/ms_thesis_submitted.pdf).
+A writeup of some theoretical considerations in this implementation is in my [Masters thesis](https://arxiv.org/abs/1911.00399).
 
 ### License
 
-- 
cgit v1.2.3