]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5535cd4) | patch
Work in progress.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 9 Aug 2012 12:03:09 +0000 (12:03 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 9 Aug 2012 12:03:09 +0000 (12:03 +0000)
commita30f29295ea5ba1ab148d79d036cc29177741296
tree089453d0317df12113dc886915680b030334afc8tree | snapshot
parent5535cd4e08fd8d1e7e6e067eac1bb6c1bf8fcbbfcommit | diff
Work in progress.
matita/matita/lib/turing/universal/copy.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.