]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d183f23) | patch
progress
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 13 Nov 2012 12:15:36 +0000 (12:15 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 13 Nov 2012 12:15:36 +0000 (12:15 +0000)
commitcf097061bef43a9170c7776000c7f865f6c59b50
tree531d53f198ca9fcc0ca2aab7903ae6ec15f1ec2atree | snapshot
parentd183f23928164d2de911298f5f2232be54e49300commit | diff
progress
e
matita/matita/lib/turing/inject.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.