]> matita.cs.unibo.it Git - helm.git/commit
Some more work...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 2 Feb 2006 19:00:34 +0000 (19:00 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 2 Feb 2006 19:00:34 +0000 (19:00 +0000)
commit0f6c7f05574786ce52a8a5950e76f4e45ad5ee88
tree8564d075d7cbe0b914c097be38990a63ff41e7a9
parentd43522a6d38fcb9081a3f0352088377bc0555231
Some more work...
helm/matita/library/algebra/groups.ma