]> matita.cs.unibo.it Git - helm.git/commit
Update to universal turing machine (preliminaries).
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 24 Apr 2012 16:12:01 +0000 (16:12 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 24 Apr 2012 16:12:01 +0000 (16:12 +0000)
commitd1ee55ba423c73b08d9478e642a520a3e0057ed3
tree850dca214f67a9a208a487ccb5d65a8eb244c309
parent96df6847845122ad6bc5fee960f268c675ea0b78
Update to universal turing machine (preliminaries).
matita/matita/lib/turing/universal.ma