]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 96df684) | patch
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
tree850dca214f67a9a208a487ccb5d65a8eb244c309tree | snapshot
parent96df6847845122ad6bc5fee960f268c675ea0b78commit | diff
Update to universal turing machine (preliminaries).
matita/matita/lib/turing/universal.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.