projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 14 Nov 2007 09:11:48 +0000 (09:11 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 14 Nov 2007 09:11:48 +0000 (09:11 +0000) | ||
| commit | c4050b216986232e7ad0095542b940960626614b | |
| tree | 3fdc6385f3790f2062746fa81cf3fb9d725b5584 | tree | snapshot |
| parent | d7435b2b09d88c24ce6e1f9659ea192dd4e617c5 | commit | diff |
| helm/software/matita/dama/excedence.ma | diff | blob | history | |
| helm/software/matita/dama/groups.ma | diff | blob | history | |
| helm/software/matita/dama/ordered_groups.ma | diff | blob | history |