]> matita.cs.unibo.it Git - helm.git/commit
Progress.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 30 May 2012 08:35:51 +0000 (08:35 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 30 May 2012 08:35:51 +0000 (08:35 +0000)
commit45ab745cdc286db123f9811adef343c9178c28de
treec6b64b9e9dae51e011653594b8c7afbbb8b3fab2
parent05458990020a373abef8df4590d131c96824eac7
Progress.
matita/matita/lib/turing/universal/copy.ma
matita/matita/lib/turing/universal/tuples.ma