projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sun, 26 Oct 2008 15:54:40 +0000 (15:54 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sun, 26 Oct 2008 15:54:40 +0000 (15:54 +0000) | ||
| commit | bde2f037924b8854d5ed4e6b133c306156a1fcf5 | |
| tree | 2e585d0a5e518cb670534db1629bdfbfb3775b57 | tree | snapshot |
| parent | 72f8ff3c58c5ac927f572267386f17be39d5a026 | commit | diff |
| helm/software/matita/contribs/dama/dama/ordered_uniform.ma | diff | blob | history |