]> matita.cs.unibo.it Git - helm.git/commit
Wip
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 30 Jul 2012 14:08:36 +0000 (14:08 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 30 Jul 2012 14:08:36 +0000 (14:08 +0000)
commit7d466423e4696ab52cca1068611ceb86c16136b8
tree98065d67b235f015a1e8f5dedf0c609c470603ec
parent9957a050f4bc4ce95d3d98981eba19515021ce72
Wip
matita/matita/lib/turing/universal/copy.ma