Formalisation of Turing Machines+− ================================+− +− thys - contains the formalisation+− Paper - contains the files for the paper+− +− +− Attic - old files+− Literature - related work+−