projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 7 Mar 2006 18:21:39 +0000 (18:21 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 7 Mar 2006 18:21:39 +0000 (18:21 +0000) | ||
| commit | e2a70d081915c180bca4ca9c9ea16971aa781db7 | |
| tree | 1f33cb89e151597c751df70e738e7bb162dec1a0 | tree | snapshot |
| parent | 5ce2b9b14c6b76021c780080e31b283a5e061d28 | commit | diff |
| helm/software/matita/library/algebra/groups.ma | diff | blob | history |