diff --git a/TODO.txt b/TODO.txt
deleted file mode 100644
index 6197e62b54153e6e497c07f49a31db5112eb457d..0000000000000000000000000000000000000000
--- a/TODO.txt
+++ /dev/null
@@ -1,5 +0,0 @@
-Validation of generated trace files: Parsing the trace files
-
-Missing constructs:
- - SEES, INCLUDES, REFINES, IMPORTS
- - sequential composition, while loop
\ No newline at end of file
diff --git a/build.xml b/build.xml
deleted file mode 100644
index 52dcde683431ffdb4ae244df5e3462d21624e571..0000000000000000000000000000000000000000
--- a/build.xml
+++ /dev/null
@@ -1,6 +0,0 @@
-<project default="copy">
-    <target name="copy">
-       <copy file="build/tlc4b/TLC4B.jar" tofile="../../Desktop/ProB/lib/TLC4B.jar"/>
-       <copy file="build/tlc4b/TLC4B.jar" tofile="/Users/hansen/git/prob_prolog/lib/TLC4B.jar"/>
-    </target>
-</project>
\ No newline at end of file