]> matita.cs.unibo.it Git - helm.git/commit
First part of a slightly more interesting proof on finite (and enumerable)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 25 Jan 2006 17:57:48 +0000 (17:57 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 25 Jan 2006 17:57:48 +0000 (17:57 +0000)
commitdbd36ab2cf360a7721874e32654831ca3aa2f1cf
treeedb40a03b05c1a163829123fc96dba084de7f91d
parenta8c919d5d9359d38425f9315eed23732b58e8a21
First part of a slightly more interesting proof on finite (and enumerable)
groups.
helm/matita/library/algebra/groups.ma
helm/matita/library/algebra/semigroups.ma