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