]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c6b6ec4) | patch
copy.ma
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 15 Jan 2013 09:45:58 +0000 (09:45 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 15 Jan 2013 09:45:58 +0000 (09:45 +0000)
commit249addcfcf2681df796236b0f39a71260dddaa79
treefd824a54d55a4d3f1bf8b12c185df4efd93c5dc2tree | snapshot
parentc6b6ec4e6f3ed6826db2f6385c25519fb82c177dcommit | diff
copy.ma
matita/matita/lib/turing/multi_universal/copy.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.