]>
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 |