]> matita.cs.unibo.it Git - helm.git/commit
trans_step.ma
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 28 May 2012 16:42:25 +0000 (16:42 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 28 May 2012 16:42:25 +0000 (16:42 +0000)
commit43f6de7986407cb15b5b39b18eb59d19d0abfd20
treef04a117b420fcf770cda63ef65330301844acc48
parent2df6c35032e7c99cfb734d110a91ddf0f39601ad
trans_step.ma
matita/matita/lib/turing/universal/compare.ma
matita/matita/lib/turing/universal/trans_step.ma [new file with mode: 0644]
matita/matita/lib/turing/universal/uni_step.ma