From c2247c3a15f19a0f27bb976f85ca5eb8d4c2e71f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lennard=20G=C3=A4her?= <l.gaeher@posteo.de>
Date: Sat, 28 Nov 2020 14:48:14 +0100
Subject: [PATCH] Update README.md

---
 README.md | 2 --
 1 file changed, 2 deletions(-)

diff --git a/README.md b/README.md
index 0f54d890..fd17c865 100644
--- a/README.md
+++ b/README.md
@@ -5,8 +5,6 @@ It is based on the Coq development of the [Iris Project](http://iris-project.org
 which includes [MoSeL](http://iris-project.org/mosel/), a general proof mode
 for carrying out separation logic proofs in Coq.
 
-For understanding the theory of Transfinite Iris, a supplementary appendix PDF has been submitted alongside this artifact.
-
 For using Transfinite Iris and inspecting the development interactively, it needs to be compiled.
 
 ## Building Transfinite Iris
-- 
GitLab