projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 13 Oct 2009 15:53:50 +0000 (15:53 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 13 Oct 2009 15:53:50 +0000 (15:53 +0000) | ||
| commit | 21e0138ea9ff36fcc85e21081aa996d8eb063fb3 | |
| tree | 284b3ddd51a462fa9670625b9fe6809570c474ee | tree | snapshot |
| parent | b4aad399a4e900b9faaec1e7079369f305ff197d | commit | diff |
| helm/software/matita/nlibrary/topology/igft.ma | diff | blob | history | |
| helm/software/matita/nlibrary/topology/preamble.xml | diff | blob | history |