# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1360118572 0
# Node ID 7dc064e64ab271a404942c51866342d98007b493
# Parent  469c26d19f8ed19c5c37af62e944dddce642d7b3
added readme

diff -r 469c26d19f8e -r 7dc064e64ab2 README
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/README	Wed Feb 06 02:42:52 2013 +0000
@@ -0,0 +1,9 @@
+Formalisation of Turing Machines
+================================
+
+thys    - contains the formalisation
+Paper   - contains the files for the paper
+
+
+Attic      - old files
+Literature - related work