]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Mon, 23 Jan 2006 18:49:40 +0000 (18:49 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Mon, 23 Jan 2006 18:49:40 +0000 (18:49 +0000) | ||
commit | b5619c04607ec92594e7645847409c351129709b | |
tree | c4ba819fe1ab03297bc78050345dffaa5574572d | tree | snapshot |
parent | 9f66deafc611d91e5bd68d33aa4d603a99d40de9 | commit | diff |
helm/matita/library/algebra/groups.ma | diff | blob | history |