projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 2 Sep 2009 11:12:10 +0000 (11:12 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 2 Sep 2009 11:12:10 +0000 (11:12 +0000) | ||
| commit | fcbc3084b02c8f69555fc97c59dca4a4b146eee8 | |
| tree | 8a282880472da9e428fd8c5fc4df8fe9def46e88 | tree | snapshot |
| parent | 11f0f9739cdec05a1058e3492968ecead0be48f0 | commit | diff |
| helm/software/matita/contribs/ng_assembly/common/theory.ma | diff | blob | history |