]> matita.cs.unibo.it Git - helm.git/commit
Last daemon killed :-)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 16 Jul 2007 16:10:40 +0000 (16:10 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 16 Jul 2007 16:10:40 +0000 (16:10 +0000)
commit2a5b8e5ca14aebf73dbd7532c1ac92ce9bcc895d
tree7502a855d640ffc85ef1f74428814870c5a26fc1
parentd4383305e3d0fae68326d9f078b28d58b8e1f94a
Last daemon killed :-)
helm/software/matita/library/assembly/test.ma