Formalisation of Turing Machines
================================

thys    - contains the formalisation
Paper   - contains the files for the paper


Attic      - old files
Literature - related work