]>
author | Enrico Tassi <enrico.tassi@inria.fr> | |
Wed, 14 Oct 2009 13:09:04 +0000 (13:09 +0000) | ||
committer | Enrico Tassi <enrico.tassi@inria.fr> | |
Wed, 14 Oct 2009 13:09:04 +0000 (13:09 +0000) | ||
commit | d1affc571c5d1ac0acc1ef7a2f31fb166f649984 | |
tree | 59a4e31aace44b57c506f16c597d25da3894efef | tree | snapshot |
parent | 203070c2ba3cb88305093ed8f44b34a3f23904e4 | commit | diff |
helm/software/matita/nlibrary/topology/igft.ma | diff | blob | history |