projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 16 Sep 2009 17:49:20 +0000 (17:49 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 16 Sep 2009 17:49:20 +0000 (17:49 +0000) | ||
| commit | 6d4efe8c7a462fe3caaf3fcb9d57db545839cea5 | |
| tree | a9c0f1e12ecb53de5936551275fb1c3119b2dd47 | tree | snapshot |
| parent | 021fd04f3bf776eeb4b8da45b3c7103ebabd789d | commit | diff |
| helm/software/matita/nlibrary/topology/igft.ma | diff | blob | history | |
| helm/software/matita/predefined_virtuals.ml | diff | blob | history |