]>
author | Enrico Tassi <enrico.tassi@inria.fr> | |
Tue, 13 Oct 2009 09:36:39 +0000 (09:36 +0000) | ||
committer | Enrico Tassi <enrico.tassi@inria.fr> | |
Tue, 13 Oct 2009 09:36:39 +0000 (09:36 +0000) | ||
commit | 3e068a777bc4bda55d3c7eedc2eb8368e8acb6da | |
tree | 3532af298ff83fca6ac861d04a42416e2ea1273d | tree | snapshot |
parent | bf64edcd46b60b863c4d77dc2c31ffe119b9a488 | commit | diff |
helm/software/matita/nlibrary/topology/igft.ma | diff | blob | history |