]> matita.cs.unibo.it Git - helm.git/commit
Finished one lemma (after many bug fixes here and there).
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 20 Feb 2006 15:05:37 +0000 (15:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 20 Feb 2006 15:05:37 +0000 (15:05 +0000)
commita203c2900bfe3a9d9f1a845641863f9f3cbcac5e
tree5af835ded71e3c6e7a967af2ee9ea25aaf55b661
parent979d6b24af322d882c104b53bd0a7fd5919287da
Finished one lemma (after many bug fixes here and there).
matita/library/algebra/finite_groups.ma
matita/library/algebra/groups.ma
matita/library/algebra/monoids.ma
matita/library/algebra/semigroups.ma