From 92090a71d2cb61887b8d037fff6fe13a0199e3c5 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 7 Feb 2020 15:26:20 +0100
Subject: [PATCH] remove a todo that we did

---
 TODO.txt | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/TODO.txt b/TODO.txt
index 48e3de9..52628e5 100644
--- a/TODO.txt
+++ b/TODO.txt
@@ -1,8 +1,3 @@
-Change retag semantics! Don't prove anything about this crazy monster.
-
-Things in the "logical" side of the model that could be made better:
-- Free and Retag should be WF!
-
 More speculative:
 - Can the separate private/local things be better integrated to the notion of a "private location" for the purposes of stating lemmas about them?
   Basically, can "protected" become another state of the tag? How can we make sure a call ID protects nothing when EndCall happens?
-- 
GitLab