]> matita.cs.unibo.it Git - helm.git/commit
Progress
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 18 May 2012 15:43:37 +0000 (15:43 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 18 May 2012 15:43:37 +0000 (15:43 +0000)
commit06913146ad4e17070d27b6b0a08d48f14fefb188
tree77e70f9a5c7acfdd8063dec0c7130d4ee33a82b1
parent9b61b843c4938c57cd5712df0ec8cf6892c0f906
Progress
matita/matita/lib/turing/universal/copy.ma
matita/matita/lib/turing/universal/tuples.ma
matita/matita/lib/turing/universal/uni_step.ma