projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Fri, 16 Nov 2007 14:12:48 +0000 (14:12 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Fri, 16 Nov 2007 14:12:48 +0000 (14:12 +0000) | ||
| commit | 0b57df2b9578e65c733df29ed6fa00c047a606e8 | |
| tree | d364db2fa0fd302be71ff82fc455af21be1c14f5 | tree | snapshot |
| parent | 21b202653d14ba7d8139f44c495fde94f8cb345c | 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 |