]> matita.cs.unibo.it Git - helm.git/commit
Progress
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 24 May 2012 15:15:14 +0000 (15:15 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 24 May 2012 15:15:14 +0000 (15:15 +0000)
commit5a641566011deca8c2894144fbbca3ac35ba915d
tree2627eb3702ec6cbb94dd3055cb41c2766a132e4c
parent77f07b39ced234d0aea7526e6c5bfc713515dc58
Progress
matita/matita/lib/turing/universal/move_tape.ma
matita/matita/lib/turing/universal/tuples.ma
matita/matita/lib/turing/universal/uni_step.ma