projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sat, 1 Dec 2007 12:46:08 +0000 (12:46 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sat, 1 Dec 2007 12:46:08 +0000 (12:46 +0000) | ||
| commit | a1f4ef3daaeed7a3121a40afe55f321565669da8 | |
| tree | 7150800ca0a74a32a2e1e20a10419d0912209915 | tree | snapshot |
| parent | f86ba51fa84583b5963fca03687cd23b838a99f5 | commit | diff |
| helm/software/matita/dama/group.ma | diff | blob | history | |
| helm/software/matita/dama/metric_lattice.ma | diff | blob | history | |
| helm/software/matita/dama/ordered_group.ma | diff | blob | history |