]> matita.cs.unibo.it Git - helm.git/commit
some progress
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 30 May 2012 11:56:33 +0000 (11:56 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 30 May 2012 11:56:33 +0000 (11:56 +0000)
commitfb0cac5935fe56077893f6f02390c40dd1188953
tree6fe05d5dd9fe91171220ee63ca9abf3092950efe
parentfdefd9fece874ef60fffa68ed844b009b9cd08c7
some progress
matita/matita/lib/turing/universal/trans_to_tuples.ma
matita/matita/lib/turing/universal/tuples.ma
matita/matita/lib/turing/universal/uni_step.ma
matita/matita/lib/turing/universal/universal.ma