]>
author | Enrico Tassi <enrico.tassi@inria.fr> | |
Mon, 21 Sep 2009 19:56:38 +0000 (19:56 +0000) | ||
committer | Enrico Tassi <enrico.tassi@inria.fr> | |
Mon, 21 Sep 2009 19:56:38 +0000 (19:56 +0000) | ||
commit | 099f9169edb36348a13f85ebe71c39d44703a696 | |
tree | 9876c189cd48a0831917806a535485260c5644f8 | tree | snapshot |
parent | 45f87a7044ccab3d8f1300bfc33ca93a6ad868cb | commit | diff |
helm/software/matita/nlibrary/topology/igft.ma | diff | blob | history |