From ac4efcd63a1b6fe88dcee1dc7c8f4299516789fe Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Mon, 12 Jul 2004 09:26:25 +0000
Subject: [PATCH] - Added todos.

---
 src/todo.txt | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/todo.txt b/src/todo.txt
index ce92841..e6549ec 100644
--- a/src/todo.txt
+++ b/src/todo.txt
@@ -1,3 +1,8 @@
+- Fix constants in intruder knowledge. Auto add single one of each type,
+  when typed expl. Add single constant when untyped. Fix this also in
+  semantics, and add proof to establish sufficiency.
+- Fix function handling (signatures).
+- Make state space output using dot package.
 - Intruder should at least have one copy of each type that an agent can
   construct, I think in any case. Proof needed for single identifier need.
   Furthermore reduction if type flaw testing; only one constant needed.