README
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Wed, 06 Feb 2013 13:21:35 +0000 (2013-02-06)
changeset 136 8fa9e018abe4
parent 128 7dc064e64ab2
child 163 67063c5365e1
permissions -rw-r--r--
updated
Formalisation of Turing Machines
================================

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


Attic      - old files
Literature - related work