]> matita.cs.unibo.it Git - helm.git/commit
unistep!!!
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 28 Jan 2013 21:18:58 +0000 (21:18 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 28 Jan 2013 21:18:58 +0000 (21:18 +0000)
commit10bb008413e04d44051590a8069e4f16f6f56102
tree340748302805427223135c727eb5f01580f87217
parente1f8310bce558bdf2c0bd24666b6e1bb1794e10c
unistep!!!
matita/matita/lib/turing/multi_universal/normalTM.ma
matita/matita/lib/turing/multi_universal/tuples.ma
matita/matita/lib/turing/multi_universal/unistep.ma