]> matita.cs.unibo.it Git - helm.git/commit
Progress.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 30 May 2012 14:20:28 +0000 (14:20 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 30 May 2012 14:20:28 +0000 (14:20 +0000)
commita386e0eb6b20909ae78c825203d77647b8fde30c
treec32fa21b1629879c8bd22c91c0729f8f46fe5d73
parentfb0cac5935fe56077893f6f02390c40dd1188953
Progress.
matita/matita/lib/turing/universal/tuples.ma
matita/matita/lib/turing/universal/uni_step.ma