]> matita.cs.unibo.it Git - helm.git/commit
move tape right
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 17 May 2012 09:28:06 +0000 (09:28 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 17 May 2012 09:28:06 +0000 (09:28 +0000)
commita5833cd011c1189fdfb3e134603f2ee81e502180
treed8c50ce8872991ca7107990d356013fc6d5f30d8
parent6756545478920d6eca9445a3aeede39bfe11cb83
move tape right
matita/matita/lib/turing/turing.ma