]> matita.cs.unibo.it Git - helm.git/commit
Urrah!
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 15 Jan 2010 16:12:43 +0000 (16:12 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 15 Jan 2010 16:12:43 +0000 (16:12 +0000)
commit4a8f4870edcc4fee7cf51744d4a731be84365ea7
treebee64ca3a6de6cb249793085090d49abe1676ec9
parent634a86f552919afdb4e9cbb211c9a5371f86f45f
Urrah!
helm/software/matita/nlibrary/topology/igft3.ma