]> matita.cs.unibo.it Git - helm.git/commit
More //.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 18 Jan 2010 12:49:58 +0000 (12:49 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 18 Jan 2010 12:49:58 +0000 (12:49 +0000)
commite1cbf489bba32a8109f3373f43f9e3cfe2e0171f
tree3281dbdacdf7b98dd20a56d7e15a0dc58fcd44ae
parent899222fb394af9ee449cd6618e6e38ce30b45ca8
More //.
helm/software/matita/nlibrary/topology/igft3.ma