]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cf09706) | patch
progress
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 13 Nov 2012 14:48:13 +0000 (14:48 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 13 Nov 2012 14:48:13 +0000 (14:48 +0000)
commitbb1540582257352d1c692142ad79da4cf2e7fe97
tree0518fd102535e7af7ac33addf43a607699d1f106tree | snapshot
parentcf097061bef43a9170c7776000c7f865f6c59b50commit | diff
progress
matita/matita/lib/turing/inject.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.