projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 13 Oct 2009 16:15:03 +0000 (16:15 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 13 Oct 2009 16:15:03 +0000 (16:15 +0000) | ||
| commit | d589a4d7b25687c14510efb641f7e5eacc41fd6d | |
| tree | 9b9c0742507ef69fd678e989456c131df472de6c | tree | snapshot |
| parent | 21e0138ea9ff36fcc85e21081aa996d8eb063fb3 | commit | diff |
| helm/software/matita/nlibrary/topology/igft.ma | diff | blob | history |