]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 25 Aug 2009 15:35:24 +0000 (15:35 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 25 Aug 2009 15:35:24 +0000 (15:35 +0000)
commitcde41460616634f77c2c11b585400dcc613b88f1
tree446f6f9dc5585d65e4dbaa0dc0a7e8b897eb30d1
parent5bfea0766a39d05605b6e88508f5376a88351331
...
helm/software/matita/nlibrary/topology/igft.ma