]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2f42e00) | patch
copy finished
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 15 Jan 2013 11:35:33 +0000 (11:35 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 15 Jan 2013 11:35:33 +0000 (11:35 +0000)
commit99c076c7301579c5028a9d6d0ff680ed9e05574f
treeff291b995feeb1ac649ee6a48bfa6316cc3a1aeetree | snapshot
parent2f42e0081e96a2d0a4097066af8349feebbd86fecommit | diff
copy finished
matita/matita/lib/turing/multi_universal/copy.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.