projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 10 Dec 2007 11:39:38 +0000 (11:39 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 10 Dec 2007 11:39:38 +0000 (11:39 +0000) | ||
| commit | 6067115471521e8b9ea805531cb94a0a80774314 | |
| tree | 2371ebc675595e2bc71c6dd8a529fc52b9dff93c | tree | snapshot |
| parent | 5e50ef5a9b00a18778c0eb728f7fc909c0b0f729 | commit | diff |
| helm/software/matita/dama/divisible_group.ma | diff | blob | history | |
| helm/software/matita/dama/excess.ma | diff | blob | history | |
| helm/software/matita/dama/sandwich.ma | diff | blob | history |