]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Wed, 25 Jan 2006 17:57:48 +0000 (17:57 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Wed, 25 Jan 2006 17:57:48 +0000 (17:57 +0000) | ||
commit | dbd36ab2cf360a7721874e32654831ca3aa2f1cf | |
tree | edb40a03b05c1a163829123fc96dba084de7f91d | tree | snapshot |
parent | a8c919d5d9359d38425f9315eed23732b58e8a21 | commit | diff |
helm/matita/library/algebra/groups.ma | diff | blob | history | |
helm/matita/library/algebra/semigroups.ma | diff | blob | history |