]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 13 Oct 2009 09:36:39 +0000 (09:36 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 13 Oct 2009 09:36:39 +0000 (09:36 +0000)
commit3e068a777bc4bda55d3c7eedc2eb8368e8acb6da
tree3532af298ff83fca6ac861d04a42416e2ea1273d
parentbf64edcd46b60b863c4d77dc2c31ffe119b9a488
...
helm/software/matita/nlibrary/topology/igft.ma