projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 11 Jul 2006 08:06:53 +0000 (08:06 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 11 Jul 2006 08:06:53 +0000 (08:06 +0000) | ||
| commit | a03b64206ee8c1769adf987d08090d9b59ceefe1 | |
| tree | 2376224f76ba7db1aa2e3fc4279239775d5b85bf | tree | snapshot |
| parent | 82c6d1f246f28288136ce25b165e9b6748ad1f57 | commit | diff |
| helm/software/matita/library/algebra/groups.ma | diff | blob | history |