1 Formalisation of Turing Machines

     2 ================================

     3 

     4 thys    - contains the formalisation

     5 Paper   - contains the files for the paper

     6 

     7 

     8 Attic      - old files

     9 Literature - related work